Theorem Set.image_finset_prod

Modification history

2026-04-26 16:26
Mathlib/Algebra/Group/Pointwise/Set/BigOperators.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Deleted Set.image_finset_prodView on Github →
2023-04-28 06:56
Mathlib/Data/Set/Pointwise/BigOperators.lean
forward-port leanprover-community/mathlib#18840 (#3678)
Added Set.image_finset_prodView on Github →