OAI/Combinatorics/Ramsey/CycleClique/EdgeBits.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CycleClique.compactCertificateBool line 16
2. theorem OAI.CycleClique.compactCertificateBool_spec line 27
3. instance OAI.CycleClique.(instance at line 38) line 38