OAI/Combinatorics/Ramsey/CycleClique/CompactDecisions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CycleClique.compactNodupLabels line 15
2. theorem OAI.CycleClique.compactNodupLabels_spec line 19
3. def OAI.CycleClique.compactChainLabels line 24
4. theorem OAI.CycleClique.compactChainLabels_spec line 29
5. def OAI.CycleClique.compactLabelValidBool line 38
6. theorem OAI.CycleClique.compactLabelValidBool_spec line 50
7. instance OAI.CycleClique.(instance at line 60) line 60
8. instance OAI.CycleClique.(instance at line 64) line 64