mathlib
a2d09b24 - feat(topology/algebra/order): add `le_on_closure` (#13290)

Commit

3 years ago

feat(topology/algebra/order): add `le_on_closure` (#13290)

Author

urkud

urkud

Parents

Loading