∫ Утверждение Mathlib
instDistribMulAction
Mathlib.Topology.LocallyConstant.Algebra
URI: https://scilib.ai/kg/mathlib#LocallyConstant.instDistribMulAction
∫ Утверждение Mathlib
Mathlib.Topology.LocallyConstant.Algebra
URI: https://scilib.ai/kg/mathlib#LocallyConstant.instDistribMulAction