Commit 2024-08-04 12:42 ba4c368b

View on Github →

feat(ENat): not_lt_zero, coe_lt_top (#15342) from the Carleson project

Estimated changes

added theorem ENat.coe_lt_top
added theorem ENat.not_lt_zero