Theorem MvPolynomial.IsHomogeneous.eval₂

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