OAI/Combinatorics/SharpRamsey/Entropy/
656 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- AnchorEventsRealized.lean 31 declarations
- CompleteProgramWeight.lean 23 declarations
- ComponentLabelWitness.lean 38 declarations
- ExternalMass.lean 39 declarations
- ForcedHits.lean 30 declarations
- HighMoments.lean 41 declarations
- HighRankEntropy.lean 4 declarations
- InformationScales.lean 1 declarations
- IntegralTypicalScoreSq.lean 39 declarations
- LabelledFilterCard.lean 27 declarations
- LargeCard.lean 21 declarations
- MakePair.lean 30 declarations
- MarkingTwoEntropy.lean 5 declarations
- NewEvents.lean 37 declarations
- PatchNotMem.lean 29 declarations
- PoissonLaw.lean 51 declarations
- ProtocolEntropy.lean 5 declarations
- ReciprocalEntropy.lean 5 declarations
- SelectedEntropy.lean 2 declarations
- ShiftKernelSum.lean 19 declarations
- SinglesUnique.lean 30 declarations
- StrongDegreeBudget.lean 11 declarations
- TerminalEntropy.lean 1 declarations
- TestActualSecondMoment.lean 5 declarations
- TestPointMoments.lean 2 declarations
- TestSecondMomentBase.lean 6 declarations
- TreeCodeEntropy.lean 7 declarations
- TreeMessageEntropy.lean 3 declarations
- TruncatedTupleIntegrable.lean 40 declarations
- TwoAnchorCrossCost.lean 41 declarations
- WitnessList.lean 33 declarations