mathlib
e336caf0 - chore(algebra/floor): add a trivial lemma (#9098)

Commit

4 years ago

chore(algebra/floor): add a trivial lemma (#9098) * add `nat_ceil_eq_zero`; * add `@[simp]` to `nat_ceil_le`.

Author

urkud

Parents