Mathlib Changelog
v3
Changelog
About
Github
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
Modified
algebra/archimedean.lean
added
theorem
floor_one
added
theorem
floor_zero
added
theorem
rat.cast_floor