Theorem Finsupp.sumElim_single_zero

Modification history

2026-03-15 13:15
Mathlib/Data/Finsupp/Basic.lean
feat(Data/Finsupp): more API for `sumElim` (#36675) …
Added Finsupp.sumElim_single_zeroView on Github →