OAI/Combinatorics/ThinTrees/StepBounds.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrongThinTree.splitEpsilon line 12
2. def OAI.StrongThinTree.splitTau line 13
3. def OAI.StrongThinTree.stepCount line 14
4. lemma OAI.StrongThinTree.tendsto_errorU line 16
5. lemma OAI.StrongThinTree.tendsto_resistanceT line 20
6. lemma OAI.StrongThinTree.resistanceT_sq line 24
7. lemma OAI.StrongThinTree.splitTau_ratio line 29
8. lemma OAI.StrongThinTree.inverse_le_errorU line 45
9. lemma OAI.StrongThinTree.step_rounding line 50
10. structure OAI.StrongThinTree.StepNumeric line 84
11. lemma OAI.StrongThinTree.eventual_step_numeric line 95