OAI/Computability/MeanPayoff/CallBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MeanPayoff.Label.callBound line 7
2. theorem OAI.MeanPayoff.Label.callBound_pos line 9
3. theorem OAI.MeanPayoff.Label.callBound_mono line 13
4. theorem OAI.MeanPayoff.Label.callBound_step line 21
5. theorem OAI.MeanPayoff.Label.down_budget line 38
6. theorem OAI.MeanPayoff.Label.up_budget line 47
7. theorem OAI.MeanPayoff.Label.cont_budget line 56
8. theorem OAI.MeanPayoff.Label.initial_budget_le line 65