Theorem Set.image_multiset_prod

Modification history

2023-04-28 06:56
Mathlib/Data/Set/Pointwise/BigOperators.lean
forward-port leanprover-community/mathlib#18840 (#3678)
Added Set.image_multiset_prodView on Github →