OAI/Computability/MeanPayoff/Labeller.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MeanPayoff.Label.dyadic_splits line 9
2. theorem OAI.MeanPayoff.Label.narrow_rank line 26
3. theorem OAI.MeanPayoff.Label.continuation_rank line 43
4. theorem OAI.MeanPayoff.Label.good_width line 54
5. def OAI.MeanPayoff.Label.labeller line 58
6. theorem OAI.MeanPayoff.Label.labeller_good line 117