OAI/Computability/MinUncut/Estimates/IterationMagnitude.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Costed.Arena.iterate_length_maximum line 8
2. lemma OAI.MinUncut.Costed.Arena.iterate_magnitude line 19
3. def OAI.MinUncut.Costed.Arena.PolyProgram.safeIterate line 39
4. def OAI.MinUncut.Costed.Division.step line 52
5. def OAI.MinUncut.Costed.Division.stepProgram line 58
6. lemma OAI.MinUncut.Costed.Division.step_safe line 68
7. lemma OAI.MinUncut.Costed.Division.step_exact line 81
8. lemma OAI.MinUncut.Costed.Division.iterate_exact line 101
9. def OAI.MinUncut.Costed.Division.pair line 107
10. def OAI.MinUncut.Costed.Division.quotient line 116
11. def OAI.MinUncut.Costed.Division.remainder line 118