Theorem PartENat.ofENat_zero

Modification history

2026-03-23 08:24
Mathlib/Data/Nat/PartENat.lean
chore: delete >6 month old deprecated modules (#36510) …
Deleted PartENat.ofENat_zeroView on Github →
2024-03-24 09:49
Mathlib/Data/Nat/PartENat.lean
fix: improve simp lemmas around PartENat.ofENat (#11553)
Added PartENat.ofENat_zeroView on Github →