Theorem PartENat.eq_natCast_sub_of_add_eq_natCast

Modification history

2026-03-23 08:24
Mathlib/Data/Nat/PartENat.lean
chore: delete >6 month old deprecated modules (#36510) …
Deleted PartENat.eq_natCast_sub_of_add_eq_natCastView on Github →
2023-03-06 21:23
Mathlib/Data/Nat/PartENat.lean
feat: sync Data.Nat.PartENat (#2670)
Added PartENat.eq_natCast_sub_of_add_eq_natCastView on Github →