Theorem MvPolynomial.support_esymm'

Modification history

2024-08-04 10:22

Mathlib/RingTheory/MvPolynomial/Symmetric.lean

feat: Complete homogeneous and monomial symmetric polynomials (#12572) …

Modified MvPolynomial.support_esymm'View on Github →

2023-03-19 06:37

Mathlib/RingTheory/MvPolynomial/Symmetric.lean

feat: port RingTheory.MvPolynomial.Symmetric (#2981)

Added MvPolynomial.support_esymm'View on Github →