Theorem MvPolynomial.isHomogeneous_C_mul_X

Modification history

2024-03-22 23:35
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
fix: rename MvPolynomial.C_mul_X (#11574) …
Added MvPolynomial.isHomogeneous_C_mul_XView on Github →