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