Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-16 12:58 ad0f42df

View on Github →

fix(data/nat/enat): Fix typo in lemma name (#1037)

Estimated changes

Modified src/data/nat/enat.lean

deleted theorem enat.coe_ne_bot

added theorem enat.coe_ne_top