Theorem MvPolynomial.IsHomogeneous.sub

Modification history

2024-02-07 14:08

Mathlib/RingTheory/MvPolynomial/Homogeneous.lean

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

Added MvPolynomial.IsHomogeneous.sub View on Github →