OAI/Combinatorics/TriangleRemoval/Process/InitialAssignmentSet.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.BirthGraph.graph_edge_mem line 21
2. def OAI.SharpTerminalLeave.BirthGraph.initialAssignmentSet line 28
3. lemma OAI.SharpTerminalLeave.BirthGraph.initialAssignmentSet_card line 35
4. theorem OAI.SharpTerminalLeave.BirthGraph.initialLabel_mem line 41
5. theorem OAI.SharpTerminalLeave.BirthGraph.two_preceding_neighbors line 57