Theorem Finset.sumEquiv_symm_apply

Modification history

2025-02-13 16:03
Mathlib/Data/Finset/Sum.lean
feat: `HasProd` on sum types (#21683)
Added Finset.sumEquiv_symm_applyView on Github →