OAI/Combinatorics/TriangleRemoval/Process/RootClosers.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.product_two_values line 20
2. def OAI.SharpTerminalLeave.BirthGraph.rootClosers line 36
3. lemma OAI.SharpTerminalLeave.BirthGraph.rootClosers_subset line 39
4. lemma OAI.SharpTerminalLeave.BirthGraph.rootClosers_card line 44
5. lemma OAI.SharpTerminalLeave.BirthGraph.rootClosers_predecessor line 59
6. theorem OAI.SharpTerminalLeave.BirthGraph.prefixEmbeddings_unordered_roots line 68