OAI/MeasureTheory/SelfSimilar/
871 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- Attractor.lean 14 declarations
- AttractorDimension.lean 16 declarations
- AttractorFormula.lean 4 declarations
- BallIntegrability.lean 12 declarations
- BallLimits.lean 21 declarations
- BallRatios.lean 18 declarations
- BandSelection.lean 3 declarations
- Basic.lean 19 declarations
- Bernoulli.lean 8 declarations
- BlockWords.lean 13 declarations
- Boundary.lean 12 declarations
- Clipping.lean 3 declarations
- Coding.lean 22 declarations
- CodingIntegrals.lean 16 declarations
- Conditioning.lean 20 declarations
- DigitSumset.lean 4 declarations
- DimensionCorollaries.lean 2 imports, no declarations
- EntropyBounds.lean 6 declarations
- EntropyBudget.lean 5 declarations
- EntropyDimension.lean 2 declarations
- EntropyGap.lean 1 declarations
- ErgodicAverages.lean 20 declarations
- ExactDimension.lean 5 declarations
- FairPairs.lean 39 declarations
- FiniteDistribution.lean 38 declarations
- FiniteEntropy.lean 76 declarations
- FiniteRefinement.lean 12 declarations
- FiniteVariance.lean 11 declarations
- GlobalCount.lean 2 declarations
- GridCoupling.lean 12 declarations
- HomogeneousDimension.lean 2 declarations
- Interpolation.lean 1 declarations
- InvariantLaw.lean 9 declarations
- KernelEntropy.lean 3 declarations
- LocalEntropy.lean 9 declarations
- LocalMass.lean 6 declarations
- Main.lean 3 declarations
- MassDimension.lean 2 declarations
- MeasureEntropy.lean 102 declarations
- Model.lean 12 declarations
- NoOverlaps.lean 23 declarations
- PairBands.lean 5 declarations
- PairGain.lean 31 declarations
- ProductLaw.lean 16 declarations
- RadialLimit.lean 4 declarations
- RadiusGrowth.lean 8 declarations
- RandomGrid.lean 11 declarations
- RetainedLoss.lean 10 declarations
- ScaleGain.lean 3 declarations
- SuffixLaw.lean 26 declarations
- SumsetBound.lean 21 declarations
- TailConvolution.lean 7 declarations
- TranslationGain.lean 19 declarations
- TriangularAverages.lean 12 declarations
- TypedEntropy.lean 5 declarations
- TypedLaw.lean 19 declarations
- TypedSumset.lean 4 declarations
- UnweightedAttractor.lean 7 declarations
- UpperBound.lean 21 declarations
- WindowCount.lean 3 declarations
- WindowGain.lean 10 declarations
- Windows.lean 4 declarations
- WordAverage.lean 8 declarations
- WordTypes.lean 11 declarations