OAI/Probability/SKGap/Entropy/
215 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- AdaptiveTrueAffineQuery.lean 5 declarations
- BadIntegralEndpoints.lean 4 declarations
- BoundGood.lean 4 declarations
- ConditionalBadSet.lean 4 declarations
- DisorderWeightedMean.lean 2 declarations
- EntropyBound.lean 3 declarations
- EntropyEll.lean 28 declarations
- EntropyTestBoundQPos.lean 8 declarations
- EntropyTransport.lean 35 declarations
- ExponentialEmpiricalConcentration.lean 7 declarations
- ExponentiallyRare.lean 17 declarations
- GaussianExponentialLinear.lean 3 declarations
- NormalizedWeightedMean.lean 9 declarations
- OrthogonalCoefficients.lean 2 declarations
- ParameterMapWeight.lean 7 declarations
- ProdFst.lean 11 declarations
- QuenchedFieldAverageExponential.lean 1 declarations
- QuenchedWeightedMean.lean 2 declarations
- RegeneratedNormalizedQuery.lean 5 declarations
- RootBadMeasurable.lean 4 declarations
- ScalarEntropyTarget.lean 19 declarations
- SparseSubsetEntropy.lean 5 declarations
- SparseWeightedForm.lean 3 declarations
- UpperRare.lean 6 declarations
- WeightedMean.lean 6 declarations
- WeightedMomentComparison.lean 3 declarations
- WeightedRateAssembly.lean 1 declarations
- WeightedScalarMoments.lean 6 declarations
- WordUniformCost.lean 5 declarations