Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_ceil_eq_cast_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_cast_int_ceil View on Github →