Theorem Finsupp.sumElim_single_single

Modification history

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