Theorem SymmetricAlgebra.isSymmetricAlgebra_ι

Modification history

2025-11-26 08:20

Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean

feat(LinearAlgebra/SymmetricAlgebra): IsSymmetricAlgebra (#27308) …

Added SymmetricAlgebra.isSymmetricAlgebra_ι View on Github →