Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_ceil_eq_int_ceil

Modification history

2022-01-12 07:31
src/algebra/order/floor.lean
feat(algebra/order/floor): adds some missing floor API (#11336)
Added nat.cast_ceil_eq_int_ceilView on Github →