OAI/Combinatorics/Ramsey/CycleClique/MatrixBits.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CycleClique.matrixBits line 11
2. theorem OAI.CycleClique.matrixBits_spec line 17
3. instance OAI.CycleClique.(instance at line 31) line 31
4. instance OAI.CycleClique.(instance at line 34) line 34
5. instance OAI.CycleClique.(instance at line 39) line 39
6. instance OAI.CycleClique.(instance at line 47) line 47
7. instance OAI.CycleClique.(instance at line 51) line 51
8. instance OAI.CycleClique.(instance at line 56) line 56
9. instance OAI.CycleClique.(instance at line 61) line 61