Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-06-01 22:48 372bdab5

View on Github →

feat(algebra/archimedean): some more floor thms

Estimated changes

added theorem floor_one
added theorem floor_zero
added theorem rat.cast_floor