Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_floor_eq_int_floor

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_floor_eq_int_floor View on Github →