mathlib

ad7dca6a - feat(algebra/order/floor): some nat.ceil lemmas (#16987)

feat(algebra/order/floor): some nat.ceil lemmas (#16987) mostly for feature completeness with the int version `nat.ceil_coe` is renamed to `nat.ceil_nat_cast` to match the int version