∫ Утверждение Mathlib
instDistribMulActionSubtypeMem
Mathlib.Algebra.Group.Submonoid.DistribMulAction
URI: https://scilib.ai/kg/mathlib#Submonoid.instDistribMulActionSubtypeMem
∫ Утверждение Mathlib
Mathlib.Algebra.Group.Submonoid.DistribMulAction
URI: https://scilib.ai/kg/mathlib#Submonoid.instDistribMulActionSubtypeMem