OAI/Combinatorics/TriangleRemoval/Stability/ContinuousCavityWeightClip.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.continuous_cavityWeight_clip line 17
2. lemma OAI.SharpTerminalLeave.cavityWeight_lipschitz_cell line 29
3. theorem OAI.SharpTerminalLeave.grid_prefixWeight_tendsto line 45
4. lemma OAI.SharpTerminalLeave.collision_exponential_identity line 86
5. lemma OAI.SharpTerminalLeave.collision_power_48_bound line 94