Theorem Matrix.det_fin_three

Modification history

2023-04-20 10:27

Mathlib/LinearAlgebra/Matrix/Determinant.lean

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

Added Matrix.det_fin_three View on Github →