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