∫ Утверждение Mathlib
mul_X_divMonomial
Mathlib.Algebra.MvPolynomial.Division
URI: https://scilib.ai/kg/mathlib#MvPolynomial.mul_X_divMonomial
∫ Утверждение Mathlib
Mathlib.Algebra.MvPolynomial.Division
URI: https://scilib.ai/kg/mathlib#MvPolynomial.mul_X_divMonomial