OAI/Combinatorics/TriangleRemoval/Tracking/PrefixEdgeForcingBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.prefixEdgeForcingBound line 13
2. lemma OAI.SharpTerminalLeave.prefix_edge_forcing_power line 17
3. lemma OAI.SharpTerminalLeave.edge_stability_log_bounds line 44
4. lemma OAI.SharpTerminalLeave.edge_stability_gain_bound line 54
5. theorem OAI.SharpTerminalLeave.prefix_edge_stability_budget line 79