Theorem map_finset_prod

Modification history

2026-04-26 16:26
Mathlib/Algebra/BigOperators/Finprod.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Deleted map_finset_prodView on Github →
2025-02-18 17:29
Mathlib/Algebra/BigOperators/Finprod.lean
feat(Algebra/BigOperators/Finprod): add MulEquivClass lemmas (#21638)
Added map_finset_prodView on Github →