`FLT/Mathlib/LinearAlgebra/`

53 declarations, 0 contain sorry, 0 declared as axioms; 10 files

Folders

Dimension/ 2 files, 7 declarations
Matrix/ 2 files, 21 declarations
TensorProduct/ 3 files, 5 declarations

Files

Countable.lean 2 declarations
Determinant.lean 11 declarations
Pi.lean 7 declarations