Theorem MvPolynomial.IsHomogeneous.aeval

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