OAI/RepresentationTheory/RowColumn/
327 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- Basic.lean 9 declarations
- CopyOverlap.lean 17 declarations
- Dephasing.lean 34 declarations
- Entropy.lean 9 declarations
- HookIsometry.lean 3 declarations
- HookModel.lean 24 declarations
- LineStates.lean 33 declarations
- Multiplicity.lean 20 declarations
- Occupied.lean 10 declarations
- OverlapBound.lean 16 declarations
- Postselection.lean 38 declarations
- Sectors.lean 45 declarations
- SignedWords.lean 40 declarations
- TensorFilter.lean 29 declarations