OAI/Analysis/Naimark/
2092 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Amalgamation.lean 431 declarations
- Basic.lean 136 declarations
- CAR.lean 73 declarations
- Dependencies.lean 94 declarations
- DirectLimit.lean 38 declarations
- Extension.lean 87 declarations
- HNN.lean 215 declarations
- Homogeneity.lean 72 declarations
- Omission.lean 110 declarations
- Operators.lean 83 declarations
- Peaking.lean 205 declarations
- Recursion.lean 207 declarations
- Representations.lean 118 declarations
- Stages.lean 100 declarations
- States.lean 106 declarations
- Tracial.lean 17 declarations