Theorem ENat.succ_coe

Modification history

2026-03-24 21:54
Mathlib/Data/ENat/Basic.lean
chore(ENat): clean up `deriving` instances (#37096) …
Modified ENat.succ_coeView on Github →
2026-03-20 06:03
Mathlib/Data/ENat/Basic.lean
chore: robustify ENat/Basic (#36885) …
Added ENat.succ_coeView on Github →