Inductive TensorAlgebra.SymRel

Modification history

2025-05-11 14:01

Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean

feat(LinearAlgebra): Symmetric Algebra (#21539) …

Added TensorAlgebra.SymRel View on Github →