Theorem MvPolynomial.IsHomogeneous.C_mul

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 View on Github →