Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-28 11:16 4acfa924

View on Github →

chore(algebra/floor): add a few trivial simp lemmas about floor (#8450)

Estimated changes

added theorem floor_add_nat
added theorem floor_int_add
modified theorem floor_mono
added theorem floor_nat_add
modified theorem floor_sub_int
added theorem floor_sub_nat