∫ Утверждение Mathlib
leadingCoeff_eq_zero_iff_deg_eq_bot
Mathlib.Algebra.Polynomial.Degree.Definitions
URI: https://scilib.ai/kg/mathlib#Polynomial.leadingCoeff_eq_zero_iff_deg_eq_bot
∫ Утверждение Mathlib
Mathlib.Algebra.Polynomial.Degree.Definitions
URI: https://scilib.ai/kg/mathlib#Polynomial.leadingCoeff_eq_zero_iff_deg_eq_bot