PFR/Mathlib/LinearAlgebra/
5 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Folders
- Basis/ 1 files, 1 declarations
- Dimension/ 2 files, 3 declarations
- Quotient/ 1 files, 1 declarations
PFR/Mathlib/LinearAlgebra/5 declarations, 0 contain sorry, 0 declared as axioms; 4 files