Theorem MvPolynomial.IsSymmetric.c

Modification history

2023-03-27 05:33

Mathlib/RingTheory/MvPolynomial/Symmetric.lean

chore: tidy various files (#3110)

Deleted MvPolynomial.IsSymmetric.c View on Github →

2023-03-19 06:37

Mathlib/RingTheory/MvPolynomial/Symmetric.lean

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

Added MvPolynomial.IsSymmetric.c View on Github →