OAI/Combinatorics/SharpRamsey/Reciprocal/ReciprocalActualCharges.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpLogRamsey.Selection.rectangleBound line 14
  2. def OAI.SharpLogRamsey.Selection.tupleFlags line 18
  3. def OAI.SharpLogRamsey.Selection.rankCollision line 21
  4. def OAI.SharpLogRamsey.Selection.directedCollision line 27
  5. def OAI.SharpLogRamsey.Selection.reciprocalCharges line 31
  6. lemma OAI.SharpLogRamsey.Selection.marginal_flag line 36
  7. lemma OAI.SharpLogRamsey.Selection.rankCollision_rectangle line 42
  8. theorem OAI.SharpLogRamsey.Selection.directedCollision_sum line 55
  9. theorem OAI.SharpLogRamsey.Selection.reciprocalCharges_sum line 91