Theorem Finsupp.cons_zero_single_eq_single_succ

Modification history

2026-04-13 12:57
Mathlib/Data/Finsupp/Fin.lean
style: fix whitespace (#37993) …
Modified Finsupp.cons_zero_single_eq_single_succView on Github →
2026-04-06 16:32
Mathlib/Data/Finsupp/Fin.lean
feat(Data/Finsupp): add computational lemmas for cons and single (#35329) …
Added Finsupp.cons_zero_single_eq_single_succView on Github →