mathlib3
cb1b6d97 - feat(algebra/order/floor): adds some missing floor API (#11336)

Commit

3 years ago

feat(algebra/order/floor): adds some missing floor API (#11336)

Author

b-mehta

b-mehta

Parents

Loading