OAI/Analysis/FiniteFactor/Diffuse/
29 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- OperatorCesaro.lean 7 declarations
- OperatorMeanErgodic.lean 3 declarations
- OperatorSupport.lean 8 declarations
- ProjectionTrace.lean 4 declarations
- SmallPartitions.lean 1 declarations
- SupportLimit.lean 3 declarations
- SupportTrace.lean 2 declarations
- TracePowers.lean 1 declarations