OAI/Combinatorics/TriangleRemoval/Queries/KeyCandidate.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.QueryCall.key_has_candidate line 22
2. lemma OAI.SharpTerminalLeave.RecordedCallForest.key_exposed line 33
3. theorem OAI.SharpTerminalLeave.RecordedCallForest.call_collision_witness line 46
4. theorem OAI.SharpTerminalLeave.traced_graph_collision_witness line 73