OAI/Probability/MatroidSecretary/Sampling/
68 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- BernoulliConditionalFiber.lean 6 declarations
- FiniteSeedModel.lean 4 declarations
- FiniteSeedTheorems.lean 16 declarations
- PrecommittedKernel.lean 8 declarations
- SourceRankMask.lean 9 declarations
- SourceSeedConditionalSupport.lean 2 declarations
- SourceSeedSupport.lean 19 declarations
- UniformPermutationImage.lean 4 declarations