mathlib3
f74213bf - feat(algebra/ordered_group): proof of le without density (#7191)

Commit

4 years ago

feat(algebra/ordered_group): proof of le without density (#7191)

Author

b-mehta

b-mehta

Parents

Loading