PFR/Mathlib/LinearAlgebra/Dimension/
3 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Finrank.lean 1 declarations
- FreeAndStrongRankCondition.lean 2 declarations
PFR/Mathlib/LinearAlgebra/Dimension/3 declarations, 0 contain sorry, 0 declared as axioms; 2 files