degree_le_degree — Mathlib · SciLib

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

degree_le_degree

Mathlib.Algebra.Polynomial.Degree.Definitions

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

← MathLib Explorer