OAI/Analysis/JiangSu/
3807 declarations, 0 contain sorry, 0 declared as axioms; 348 files
Folders
- Absorption/ 10 files, 78 declarations
- CStarAlgebras/ 35 files, 202 declarations
- CentralSequences/ 35 files, 291 declarations
- Comparison/ 36 files, 329 declarations
- CuntzSemigroup/ 25 files, 235 declarations
- DimensionDrop/ 50 files, 673 declarations
- DimensionFunctions/ 11 files, 77 declarations
- Excision/ 18 files, 135 declarations
- MatrixAlgebras/ 28 files, 219 declarations
- Nonunital/ 34 files, 295 declarations
- Nuclearity/ 9 files, 36 declarations
- TensorProducts/ 19 files, 203 declarations
- TraceCone/ 21 files, 368 declarations
- Traceless/ 7 files, 119 declarations
- Traces/ 8 files, 49 declarations
Files
- Main.lean 11 declarations
- Model.lean 487 declarations