Mathlib Changelog
v4
Changelog
About
Github
Theorem
MvPolynomial.esymm_isSymmetric
Modification history
2023-03-19 06:37
Mathlib/RingTheory/MvPolynomial/Symmetric.lean
feat: port RingTheory.MvPolynomial.Symmetric (#2981)
Added
MvPolynomial.esymm_isSymmetric
View on Github →