OAI/Combinatorics/TriangleRemoval/Tracking/PrefixBalancedNoise.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.PrefixBalancedNoise line 15
2. theorem OAI.SharpTerminalLeave.prefix_balanced_noise_failure line 21
3. def OAI.SharpTerminalLeave.prefixWheelRadius line 68
4. lemma OAI.SharpTerminalLeave.balanced_closure_budget line 70
5. theorem OAI.SharpTerminalLeave.prefix_balanced_tracking line 121