OAI/Probability/ThorpCompatibility/
245 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- BinomialBounds.lean 6 declarations
- ClumpCost.lean 8 declarations
- ClumpMoments.lean 5 declarations
- ClumpParameters.lean 5 declarations
- ConditionalEntropy.lean 3 declarations
- Entropy.lean 25 declarations
- EntropyBounds.lean 7 declarations
- EntropyChain.lean 11 declarations
- EntropyEstimate.lean 1 declarations
- ExposureEntropy.lean 7 declarations
- FactorialBounds.lean 4 declarations
- FiniteLaw.lean 14 declarations
- GridDeficits.lean 11 declarations
- GridEntropy.lean 11 declarations
- GridExposure.lean 14 declarations
- HeavyColumns.lean 8 declarations
- HeavyEntries.lean 5 declarations
- LightRescaling.lean 14 declarations
- ListIncidence.lean 3 declarations
- LogEstimates.lean 8 declarations
- Main.lean 4 declarations
- Model.lean 8 declarations
- MomentBound.lean 1 declarations
- Normalization.lean 3 declarations
- PermutationCount.lean 2 declarations
- PermutationProbability.lean 6 declarations
- Prediction.lean 12 declarations
- RandomExclusion.lean 1 declarations
- RankAverages.lean 9 declarations
- RankLaw.lean 7 declarations
- UniformAverages.lean 4 declarations
- UniformSupport.lean 5 declarations
- VariationalBound.lean 9 declarations
- WeightedGibbs.lean 4 declarations