mathlib3
511b9032 - feat(topology/algebra/order): a linear order is T₅ (#16540)

Commit

3 years ago

feat(topology/algebra/order): a linear order is T₅ (#16540)

Author

urkud

urkud

Committer

b-mehta

b-mehta

Parents

Loading