OAI/Combinatorics/TriangleRemoval/Process/EdgePairNe.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.edge_pair_ne line 16
2. lemma OAI.SharpTerminalLeave.star_pair_triangle_iff line 22
3. lemma OAI.SharpTerminalLeave.extended_link_entry line 49
4. theorem OAI.SharpTerminalLeave.globalLinkAdjacency_entry line 78