OAI/Combinatorics/IndependentSets/Repetition/
674 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- ActualGame.lean 6 declarations
- Basic.lean 33 declarations
- Basic2.lean 17 declarations
- CayleySampling.lean 8 declarations
- Conditionals.lean 10 declarations
- CoordinateCompletion.lean 13 declarations
- DistributionIdentities.lean 17 declarations
- Finite.lean 26 declarations
- FiniteGame.lean 8 declarations
- FiniteTrials.lean 16 declarations
- KernelSampling.lean 16 declarations
- LocalSimulation.lean 9 declarations
- MaskedVariation.lean 14 declarations
- Mixture.lean 13 declarations
- Overlap.lean 10 declarations
- PartialReveal.lean 15 declarations
- Pinsker.lean 20 declarations
- ProfileBounds.lean 14 declarations
- ProfileCorrection.lean 15 declarations
- QuestionMarginal.lean 10 declarations
- Rectangle.lean 19 declarations
- Rectangle2.lean 19 declarations
- Reindexing.lean 13 declarations
- RepetitionUpper.lean 21 declarations
- Reveal.lean 24 declarations
- RevealFactorization.lean 26 declarations
- Sampling.lean 20 declarations
- Scalar.lean 17 declarations
- ScalarCell.lean 15 declarations
- ScalarSampleInfluence.lean 4 declarations
- SelectedCompletionGame.lean 13 declarations
- SelectedInformation.lean 20 declarations
- SelectedJoint.lean 14 declarations
- SelectedJointGame.lean 4 declarations
- SelectedMarginal.lean 14 declarations
- SelectedProfileBudget.lean 15 declarations
- SelectedProfiles.lean 19 declarations
- SelectionSequence.lean 11 declarations
- SharedSampling.lean 15 declarations
- SideInformation.lean 6 declarations
- TotalVariation.lean 16 declarations
- TraceLaw.lean 34 declarations
- Value.lean 25 declarations