Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-09 06:19 e336caf0

View on Github →

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

  • add nat_ceil_eq_zero;
  • add @[simp] to nat_ceil_le.

Estimated changes

added theorem nat_ceil_eq_zero
modified theorem nat_ceil_le