Theorem Set.image_fintype_prod_pi

Modification history

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