Theorem Finsupp.sumElim_eq_add

Modification history

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