mathlib
86ed02f9 - chore(algebra/order/floor): add a few trivial lemmas (#10120)

Commit

4 years ago

chore(algebra/order/floor): add a few trivial lemmas (#10120)

Author

urkud

urkud

Parents

Loading