Theorem Matrix.IsSymm.transpose

Modification history

2023-04-04 12:51

Mathlib/LinearAlgebra/Matrix/Symmetric.lean

feat: port LinearAlgebra.Matrix.Symmetric (#3258)

Added Matrix.IsSymm.transpose View on Github →