Theorem IsSymmetricAlgebra.comp_equiv

Modification history

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