OAI/Combinatorics/TriangleRemoval/Process/CenteredEdgeVectorTriangle.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.centeredEdgeVector_eq_triangle line 14
2. theorem OAI.SharpTerminalLeave.prefix_edge_barrier_improvement line 19
3. lemma OAI.SharpTerminalLeave.history_mass_of_alive line 75
4. theorem OAI.SharpTerminalLeave.prefix_present_edge_closure line 103