Theorem Matrix.IsDiag.transpose

Modification history

2023-05-18 11:07

Mathlib/LinearAlgebra/Matrix/IsDiag.lean

feat: port LinearAlgebra.Matrix.IsDiag (#4079)

Added Matrix.IsDiag.transpose View on Github →