Commit 2024-01-26 11:20 e1650985

View on Github →

feat: add Int.le_add_one_iff (#9892)

Estimated changes

modified theorem Int.abs_lt_one_iff
added theorem Int.le_add_one_iff
modified theorem Nat.le_add_one_iff