Mathlib v3 is deprecated. Go to Mathlib v4

Theorem enat.coe_ne_bot

Modification history

2019-05-16 12:58
src/data/nat/enat.lean
fix(data/nat/enat): Fix typo in lemma name (#1037)
Deleted enat.coe_ne_botView on Github →
2019-01-05 14:09
data/nat/enat.lean
feat(data/nat/enat): has_well_founded for enat (#565)
Added enat.coe_ne_botView on Github →