Theorem Finset.unop_prod

Modification history

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