OAI/Combinatorics/TriangleRemoval/Tracking/BalancedJump.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.earlyTemplateScale_uniform_regular line 17
2. def OAI.SharpTerminalLeave.balancedJump line 36
3. def OAI.SharpTerminalLeave.balancedLoad line 37
4. lemma OAI.SharpTerminalLeave.balanced_jump_budget line 41
5. lemma OAI.SharpTerminalLeave.rooted_initial_ratio_le_two line 64
6. lemma OAI.SharpTerminalLeave.balanced_noise_exponent_budget line 80
7. theorem OAI.SharpTerminalLeave.prefix_balanced_noise_single line 126