Theorem MvPolynomial.C_mul_X

Modification history

2024-03-22 23:35
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
fix: rename MvPolynomial.C_mul_X (#11574) …
Deleted MvPolynomial.C_mul_XView on Github →
2024-02-14 22:15
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
chore(RingTheory/MvPolynomial/Homogeneous): misc lemmas on homogeneous polyomials (#10478)
Added MvPolynomial.C_mul_XView on Github →