OAI/Combinatorics/RamseyFive/Marking/ReciprocalLowConflict.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpRamseyFive.Marking.reciprocalGood line 16
  2. lemma OAI.SharpRamseyFive.Marking.reciprocalGood_positive line 24
  3. lemma OAI.SharpRamseyFive.Marking.reciprocal_low_conflict line 33
  4. theorem OAI.SharpRamseyFive.Marking.reciprocal_closed_collisions line 44
  5. theorem OAI.SharpRamseyFive.Marking.reciprocal_open_collisions line 63