OAI/Analysis/KadisonSimilarity/
3748 declarations, 0 contain sorry, 0 declared as axioms; 539 files
Folders
- Derivation/ 42 files, 354 declarations
- FreeProduct/ 133 files, 898 declarations
- Representation/ 158 files, 999 declarations
- Similarity/ 26 files, 99 declarations
- Tensor/ 30 files, 382 declarations
- Tracial/ 143 files, 970 declarations
Files
- ConditionalMain.lean 7 declarations
- Constants.lean 14 declarations
- Hyperreflexivity.lean 5 declarations
- Main.lean 7 imports, no declarations
- OperatorAlgebra.lean 14 declarations
- UnconditionalMain.lean 4 declarations
- UnconditionalSimilarity.lean 2 declarations