OAI/RepresentationTheory/
70463 declarations, 0 contain sorry, 0 declared as axioms; 1108 files
Folders
- AlperinWeights/ 1 files, 55 declarations
- Block/ 1 files, 47 declarations
- FiniteUnitary/ 11 files, 235 declarations
- FoulkesHowe/ 77 files, 440 declarations
- FoulkesSixth/ 41 files, 553 declarations
- GraphModels/ 3 files, 165 declarations
- KazhdanLusztig/ 34 files, 3005 declarations
- PartialPermutation/ 62 files, 459 declarations
- Placement/ 2 files, 107 declarations
- ProjectiveInduction/ 1 files, 74 declarations
- RestrictedTilting/ 116 files, 1194 declarations
- RowColumn/ 14 files, 327 declarations
- Saxl/ 38 files, 577 declarations
- SignedTensor/ 5 files, 348 declarations
- SpinAngle/ 3 files, 472 declarations
- Tensor/ 1 files, 87 declarations
- TensorSquares/ 5 files, 41 declarations
- Torus/ 1 files, 12 declarations
- Unitary/ 2 files, 71 declarations
- UniversalSquare/ 538 files, 59426 declarations
- VertexAlgebra/ 143 files, 2412 declarations
- Young/ 3 files, 166 declarations
- YoungSymmetry/ 5 files, 190 declarations
Files
- FoulkesHowe.lean 77 imports, no declarations