Theorem Matrix.det_transpose

Modification history

2023-04-20 10:27

Mathlib/LinearAlgebra/Matrix/Determinant.lean

feat: port LinearAlgebra.Matrix.Determinant (#3540)

Added Matrix.det_transpose View on Github →