OAI/Combinatorics/RamseyFive/Geometry/Peeling.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SharpRamseyFive.ScoreGeometry.radialExceptions_low_density line 15
  2. theorem OAI.SharpRamseyFive.ScoreGeometry.literal_plane_radial_exceptions line 40
  3. def OAI.SharpRamseyFive.ScoreGeometry.residualPlaneExceptions line 121
  4. lemma OAI.SharpRamseyFive.ScoreGeometry.off_residualPlaneExceptions line 128
  5. theorem OAI.SharpRamseyFive.ScoreGeometry.residualPlaneExceptions_card line 139