OAI/Probability/MatroidProphet/LayerRank.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.natRank_le_ncard line 9
2. lemma OAI.MatroidProphet.conditionalRank_mono_left line 13
3. lemma OAI.MatroidProphet.conditionalRank_spanned line 17
4. theorem OAI.MatroidProphet.layerGreedy_rank_lower line 30
5. theorem OAI.MatroidProphet.layerGreedy_sum_rank_lower line 54