OAI/RepresentationTheory/TensorSquares/
41 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Arithmetic.lean 15 declarations
- Candidate.lean 15 declarations
- Main.lean 1 declarations
- Transpose.lean 8 declarations
- Triangular.lean 2 declarations