Theorem SymmetricAlgebra.equivMvPolynomial_ι_apply

Modification history

2025-05-11 14:01
Mathlib/LinearAlgebra/SymmetricAlgebra/Basis.lean
feat(LinearAlgebra): Symmetric Algebra (#21539) …
Added SymmetricAlgebra.equivMvPolynomial_ι_applyView on Github →