Theorem Finsupp.mapDomain_swap_sumElim

Modification history

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