Theorem MvPolynomial.IsHomogeneous.neg

Modification history

2024-02-07 14:08

Mathlib/RingTheory/MvPolynomial/Homogeneous.lean

feat(RingTheory/MvPolynomial): funext for homogeneous polynomials (#10300)

Added MvPolynomial.IsHomogeneous.neg View on Github →