Theorem MvPolynomial.isHomogeneous_C_mul_X_pow

Modification history

2024-02-14 22:15
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
chore(RingTheory/MvPolynomial/Homogeneous): misc lemmas on homogeneous polyomials (#10478)
Added MvPolynomial.isHomogeneous_C_mul_X_powView on Github →