Theorem Finsupp.cons_zero_zero

Modification history

2026-04-06 16:32
Mathlib/Data/Finsupp/Fin.lean
feat(Data/Finsupp): add computational lemmas for cons and single (#35329) …
Modified Finsupp.cons_zero_zeroView on Github →
2023-01-28 07:25
Mathlib/Data/Finsupp/Fin.lean
feat: Port/Data.Finsupp.Fin (#1895) …
Added Finsupp.cons_zero_zeroView on Github →