OAI/Probability/MatroidProphet/Algorithm/Feasible.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.guardedPath_group_mono line 8
2. lemma OAI.MatroidProphet.assigned_some_of_eligible line 16
3. lemma OAI.MatroidProphet.MainAlgorithm.assign_spec line 26
4. lemma OAI.MatroidProphet.MainAlgorithm.eligible_mem_final line 36
5. lemma OAI.MatroidProphet.MainAlgorithm.assigned_lower_in_base line 50
6. theorem OAI.MatroidProphet.MainAlgorithm.core_feasible line 71
7. theorem OAI.MatroidProphet.MainAlgorithm.hidden_feasible line 77