Theorem AddOpposite.unop_finsuppProd

Modification history

2025-12-01 20:13
Mathlib/Algebra/BigOperators/Finsupp/Basic.lean
feat: `Finsupp.sum` in opposite monoid (#32253)
Added AddOpposite.unop_finsuppProdView on Github →