natDegree_lt_iff_degree_lt — Mathlib · SciLib

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

natDegree_lt_iff_degree_lt

Mathlib.Algebra.Polynomial.Degree.Definitions

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

← MathLib Explorer