OAI/Combinatorics/RamseyFive/Geometry/Failure.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpRamseyFive.CoreGeometry.failure line 12
  2. lemma OAI.SharpRamseyFive.CoreGeometry.failure_nonneg line 15
  3. def OAI.SharpRamseyFive.CoreGeometry.core line 22
  4. lemma OAI.SharpRamseyFive.CoreGeometry.mem_core line 25
  5. lemma OAI.SharpRamseyFive.CoreGeometry.core_test line 30
  6. theorem OAI.SharpRamseyFive.CoreGeometry.core_failure line 35
  7. theorem OAI.SharpRamseyFive.CoreGeometry.core_orthogonal line 71
  8. def OAI.SharpRamseyFive.CoreGeometry.capture line 111
  9. lemma OAI.SharpRamseyFive.CoreGeometry.capture_zero_one line 114
  10. lemma OAI.SharpRamseyFive.CoreGeometry.capture_failure line 129
  11. theorem OAI.SharpRamseyFive.CoreGeometry.capture_lower line 137
  12. theorem OAI.SharpRamseyFive.CoreGeometry.product_core_capture line 141
  13. lemma OAI.SharpRamseyFive.CoreGeometry.source_core_capture line 165