∫ Утверждение Mathlib
coeff_smul
Mathlib.Tactic.ComputeDegree
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.ComputeDegree.coeff_smul
∫ Утверждение Mathlib
Mathlib.Tactic.ComputeDegree
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.ComputeDegree.coeff_smul