OAI/Combinatorics/ThinTrees/RationalMatrix/
100 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Files
- Gram.lean 9 declarations
- Inverse.lean 8 declarations
- InverseRealization.lean 34 declarations
- MatrixRealization.lean 19 declarations
- SchurHistory.lean 20 declarations
- Squares.lean 10 declarations