OAI/Combinatorics/RamseyFive/Probability/
178 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- AbsScoreTerm.lean 5 declarations
- Aggregate.lean 17 declarations
- AllEmptyIndicator.lean 12 declarations
- AmbientPublicTest.lean 6 declarations
- CapNumerics.lean 4 declarations
- CellMass.lean 4 declarations
- DimensionFourLowIntegrals.lean 2 declarations
- DimensionFourStrong.lean 2 declarations
- DimensionThreeSmallAmbient.lean 2 declarations
- DimensionTwoIntegrals.lean 5 declarations
- EmptyTestsManySmall.lean 7 declarations
- FailureCount.lean 9 declarations
- HighOrSmall.lean 1 declarations
- IntegralForcedHits.lean 4 declarations
- MeasurePreservingSplitSchedule.lean 20 declarations
- MeasurePublicTable.lean 7 declarations
- MomentTailRatio.lean 5 declarations
- NormalizedPairHigh.lean 1 declarations
- OwnFraction.lean 19 declarations
- PencilFactor.lean 3 declarations
- PoissonLikelihood.lean 4 declarations
- PoissonProposal.lean 10 declarations
- PositiveTailMoment.lean 2 declarations
- PublicCapLaw.lean 6 declarations
- QB.lean 5 declarations
- SamplingDegree.lean 1 declarations
- SumPoissonPow.lean 7 declarations
- TypicalScoreAggregate.lean 2 declarations
- UniformTails.lean 6 declarations