FormalConjecturesForMathlib/LinearAlgebra/
12 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Folders
- AffineSpace/ 1 files, 1 declarations
- QuadraticForm/ 1 files, 8 declarations
Files
- GeneralLinearGroup.lean 2 declarations
- SpecialLinearGroup.lean 1 declarations