degree_mul_C — Mathlib · SciLib

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

degree_mul_C

Mathlib.Algebra.Polynomial.Degree.Lemmas

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

← MathLib Explorer