OAI/Combinatorics/TriangleRemoval/Queries/Separated.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.QueryCall.Separated line 19
2. lemma OAI.SharpTerminalLeave.gridCandidates_key_injective line 22
3. theorem OAI.SharpTerminalLeave.QueryCall.keys_nodup line 35
4. lemma OAI.SharpTerminalLeave.separated_singleton line 43
5. lemma OAI.SharpTerminalLeave.separated_child line 51