Theorem Matrix.det_of_lowerTriangular

Modification history

2026-07-30 16:24
Mathlib/LinearAlgebra/Matrix/Block.lean
feat(LinearAlgebra/Matrix): add definitions and theory for the echelon form and pivots of matrices (#42236) …
Deleted Matrix.det_of_lowerTriangularView on Github →
2023-04-27 06:19
Mathlib/LinearAlgebra/Matrix/Block.lean
feat: port LinearAlgebra.Matrix.Block (#3667)
Added Matrix.det_of_lowerTriangularView on Github →