natDegree_zero — Mathlib · SciLib

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

natDegree_zero

Mathlib.Algebra.Polynomial.Degree.Definitions

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

← MathLib Explorer