degree_X_pow — Mathlib · SciLib

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

degree_X_pow

Mathlib.Algebra.Polynomial.Degree.Definitions

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

← MathLib Explorer