OAI/Probability/MatroidProphet/Reverse/Certificates.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.reverseNonexitCount line 10
2. lemma OAI.MatroidProphet.reverseStepTree_contracts line 20
3. def OAI.MatroidProphet.reverseStayEvent line 27
4. lemma OAI.MatroidProphet.reverseStayEvent_mono line 33
5. lemma OAI.MatroidProphet.reverseStepTree_nonexit_certificate line 40
6. lemma OAI.MatroidProphet.reverseNonexitCount_le_transactions line 52
7. theorem OAI.MatroidProphet.reverse_nonexit_budget line 81