OAI/Analysis/Cuntz/
283 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Commutative.lean 7 declarations
- Comparison.lean 38 declarations
- Content.lean 32 declarations
- Cutoff.lean 15 declarations
- Distribution.lean 22 declarations
- Measure.lean 22 declarations
- Monoid.lean 19 declarations
- Quasitrace.lean 27 declarations
- Regularization.lean 23 declarations
- RegularizedState.lean 11 declarations
- Spectral.lean 22 declarations
- SquareCutoff.lean 7 declarations
- Squares.lean 9 declarations
- State.lean 14 declarations
- Translation.lean 15 declarations