card_supp_le_succ_natDegree — Mathlib · SciLib

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

card_supp_le_succ_natDegree

Mathlib.Algebra.Polynomial.Degree.Support

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

← MathLib Explorer