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

natDegree_eq_zero_iff_degree_le_zero

Mathlib.Algebra.Polynomial.Degree.Definitions

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

← MathLib Explorer