OAI/Analysis/TraceCone/
326 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Basic.lean 33 declarations
- FiniteIdeal.lean 23 declarations
- GNS.lean 54 declarations
- IdealTransport.lean 44 declarations
- Main.lean 3 imports, no declarations
- NormalWeight.lean 11 declarations
- NuclearApproximation.lean 3 declarations
- SemifiniteWeight.lean 18 declarations
- StrongConvergence.lean 8 declarations
- StrongDensity.lean 94 declarations
- WeakClosure.lean 38 declarations