∫ Утверждение Mathlib
mulIndicator_prod
Mathlib.Algebra.BigOperators.Group.Finset.Indicator
URI: https://scilib.ai/kg/mathlib#Finset.mulIndicator_prod
∫ Утверждение Mathlib
Mathlib.Algebra.BigOperators.Group.Finset.Indicator
URI: https://scilib.ai/kg/mathlib#Finset.mulIndicator_prod