Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-01 12:26 f9b939c3

View on Github →

feat(data/nat/enat): simple lemmas on enat (#15029)

Estimated changes

added theorem enat.eq_zero_iff
added theorem enat.ne_zero_iff
added theorem enat.not_is_max_coe