Theorem AddOpposite.op_finsuppProd

Modification history

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