OAI/Combinatorics/Ramsey/CycleClique/CertificateDecisions.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CycleClique.compactTriple line 13
2. theorem OAI.CycleClique.compactTriple_injective line 17
3. def OAI.CycleClique.compactMatrixBits line 30
4. theorem OAI.CycleClique.compactMatrixBits_spec line 34
5. instance OAI.CycleClique.(instance at line 45) line 45
6. instance OAI.CycleClique.(instance at line 51) line 51
7. instance OAI.CycleClique.(instance at line 56) line 56
8. instance OAI.CycleClique.(instance at line 64) line 64
9. instance OAI.CycleClique.(instance at line 68) line 68
10. instance OAI.CycleClique.(instance at line 73) line 73
11. instance OAI.CycleClique.(instance at line 78) line 78