OAI/Analysis/CStarAlgebra/PureInfiniteness/
531 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- Avoidance.lean 3 declarations
- ChoicePairs.lean 50 declarations
- ClosedIdeal.lean 14 declarations
- Comparison.lean 31 declarations
- Compression.lean 17 declarations
- Cutoffs.lean 30 declarations
- Defect.lean 16 declarations
- Diagonalization.lean 3 declarations
- FourChoices.lean 29 declarations
- Graph.lean 54 declarations
- Hereditary.lean 64 declarations
- IdealComparison.lean 8 declarations
- IdealDetection.lean 12 declarations
- Main.lean 8 declarations
- MatrixEntries.lean 19 declarations
- Nonvanishing.lean 3 declarations
- OrthogonalSlots.lean 44 declarations
- PositiveFunctional.lean 6 declarations
- Products.lean 16 declarations
- Representation.lean 26 declarations
- Separation.lean 5 declarations
- Shrinking.lean 13 declarations
- Signal.lean 6 declarations
- Stabilization.lean 44 declarations
- Ultrafilter.lean 10 declarations