Commit 2023-04-28 06:56 b6295ffc

View on Github →

forward-port leanprover-community/mathlib#18840 (#3678)

Estimated changes

Modified Mathlib/Data/Set/Pointwise/BigOperators.lean

added theorem Set.image_finset_prod

added theorem Set.image_finset_prod_pi

added theorem Set.image_fintype_prod_pi

added theorem Set.image_list_prod

added theorem Set.image_multiset_prod