OAI/Computability/VertexCover/Repetition/
329 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- AlphabetBudget.lean 8 declarations
- CompletedSampling.lean 25 declarations
- Completion.lean 4 declarations
- DistributionMaps.lean 5 declarations
- Factorization.lean 10 declarations
- GameConditioning.lean 5 declarations
- Holenstein.lean 4 declarations
- LocalSimulation.lean 1 declarations
- MaskedVariation.lean 14 declarations
- Overlap.lean 10 declarations
- PartialReveal.lean 15 declarations
- ProfileBounds.lean 7 declarations
- ProfileCorrection.lean 5 declarations
- QuestionMarginal.lean 10 declarations
- Reveal.lean 24 declarations
- RevealFactorization.lean 8 declarations
- RightProfileBounds.lean 7 declarations
- Scalar.lean 17 declarations
- SelectedCommon.lean 5 declarations
- SelectedCommonMarginal.lean 8 declarations
- SelectedCompletion.lean 18 declarations
- SelectedCompletionGame.lean 13 declarations
- SelectedInformation.lean 20 declarations
- SelectedJoint.lean 6 declarations
- SelectedJointGame.lean 4 declarations
- SelectedLikelihood.lean 8 declarations
- SelectedMarginal.lean 14 declarations
- SelectedProfileBudget.lean 7 declarations
- SelectedProfiles.lean 11 declarations
- SelectionSequence.lean 13 declarations
- SharedSampling.lean 15 declarations
- Variation.lean 8 declarations