natDegree_smul — Mathlib · SciLib

∫ Утверждение Mathlib

natDegree_smul

Mathlib.Algebra.Polynomial.Degree.Domain

URI: https://scilib.ai/kg/mathlib#Polynomial.natDegree_smul

← MathLib Explorer