Theorem IsSymmetricAlgebra.of_equiv

Modification history

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