OAI/Combinatorics/Ramsey/CycleClique/Basic.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CycleClique.RamseyProperty line 8

    Also declared: ComparatorChallenges/CycleCliqueRamsey.lean:12 (same declaration text).

  2. def OAI.CycleClique.cycleCliqueRamsey line 12

    Also declared: ComparatorChallenges/CycleCliqueRamsey.lean:18 (same declaration text).

  3. def OAI.CycleClique.MainTarget line 16
  4. def OAI.CycleClique.ExceptionalTarget line 21
  5. def OAI.CycleClique.closedNeighborhood line 24
  6. def OAI.CycleClique.ColouredPathTarget line 28