OAI/Combinatorics/ExpectationThreshold/
382 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- Basic.lean 33 declarations
- ColorArithmetic.lean 2 declarations
- ColorMean.lean 6 declarations
- Main.lean 1 declarations
- Model.lean 14 declarations
- ProbabilityColors.lean 24 declarations
- ProbabilityFinite.lean 32 declarations
- ProbabilityLikelihood.lean 3 declarations
- ProbabilityProduct.lean 10 declarations
- ProbabilitySubsetProduct.lean 3 declarations
- RoundingColorProducts.lean 2 declarations
- RoundingExpectation.lean 6 declarations
- RoundingLowerBound.lean 4 declarations
- RoundingMain.lean 4 declarations
- RoundingMasses.lean 18 declarations
- RoundingProbabilityContradiction.lean 2 declarations
- ScaleBounds.lean 15 declarations
- SelectorAverageColor.lean 7 declarations
- SelectorCommonWitness.lean 4 declarations
- SelectorCountingEncoding.lean 5 declarations
- SelectorCountingEncodingBound.lean 7 declarations
- SelectorCountingEncodingRows.lean 4 declarations
- SelectorCountingWords.lean 13 declarations
- SelectorCountingWordsProducts.lean 2 declarations
- SelectorCountingWordsTransport.lean 5 declarations
- SelectorDefinitions.lean 23 declarations
- SelectorDefinitionsLemmas.lean 3 declarations
- SelectorDelay.lean 10 declarations
- SelectorDelayFeasibility.lean 3 declarations
- SelectorEntropy.lean 3 declarations
- SelectorEntropyDyadic.lean 2 declarations
- SelectorFeasibility.lean 17 declarations
- SelectorGlobalCost.lean 9 declarations
- SelectorGlobalCostProfiles.lean 1 declarations
- SelectorGroupCost.lean 2 declarations
- SelectorMain.lean 4 declarations
- SelectorProfile.lean 15 declarations
- SelectorReconstruction.lean 2 declarations
- SelectorTruncation.lean 2 declarations
- SelectorTruncationCompact.lean 4 declarations
- SelectorTruncationDefinitions.lean 6 declarations
- SelectorTruncationSlope.lean 3 declarations
- ThresholdAttainment.lean 7 declarations
- ThresholdBounds.lean 20 declarations
- ThresholdCompactness.lean 2 declarations
- TupleCoefficients.lean 11 declarations
- TupleGeometric.lean 7 declarations