Commit 2024-07-31 15:51 ee09f89b

View on Github →

feat(ENat): lt_add_one_iff (#15341) from the Carleson project

Estimated changes

added theorem ENat.lt_add_one_iff