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