Commit 2024-11-03 07:47 9b3ffcee

View on Github →

feat(Floor): floor_le_iff and lt_floor_iff (#18552) The corresponding lemmas about ceil are already there.

Estimated changes

added theorem Int.floor_le_iff
added theorem Int.lt_floor_iff