OAI/Computability/MinUncut/Games/PoweringPlanBudget.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.fieldBudget line 14
2. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.field_steps_le line 17
3. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.plan_steps_le line 42
4. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.boundedRowPlan_length line 59
5. def OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.rowBudget line 65
6. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.rowPlan_steps_le line 69
7. def OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.planInTime line 82
8. def OAI.MinUncutGames.Foundations.Complexity.PoweringPlanBudget.rowPlanInTime line 101