Theorem SymmetricAlgebra.IsSymmetricAlgebra.mvPolynomial

Modification history

2025-11-26 08:20
Mathlib/LinearAlgebra/SymmetricAlgebra/Basis.lean
feat(LinearAlgebra/SymmetricAlgebra): IsSymmetricAlgebra (#27308) …
Added SymmetricAlgebra.IsSymmetricAlgebra.mvPolynomialView on Github →