Theorem PartENat.ofENat_toWithTop

Modification history

2024-03-24 09:49
Mathlib/Data/Nat/PartENat.lean
fix: improve simp lemmas around PartENat.ofENat (#11553)
Added PartENat.ofENat_toWithTopView on Github →