mathlib

9da33a89 - refactor(algebra/floor): Rename floor and ceil functions (#9590)

refactor(algebra/floor): Rename floor and ceil functions (#9590) This renames * `floor` -> `int.floor` * `ceil` -> `int.ceil` * `fract` -> `int.fract` * `nat_floor` -> `nat.floor` * `nat_ceil` -> `nat.ceil`