OAI/Probability/MatroidProphet/Thinning.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.conditionalRank_union_chain line 10
2. lemma OAI.MatroidProphet.conditionalRank_subset_witness line 21
3. lemma OAI.MatroidProphet.exists_conditionalRank_witness line 41
4. theorem OAI.MatroidProphet.independent_thinning_rank line 54