OAI/Geometry/PlaneColoring/Basic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem160.Plane line 11

    Also declared: ComparatorChallenges/PlaneColoring.lean:9 (same declaration text).

  2. def OAI.Problem160.circleDir line 13
  3. def OAI.Problem160.normalizedAngleMeasure line 16
  4. def OAI.Problem160.circleMeasure line 20
  5. def OAI.Problem160.weakPairMeasure line 23
  6. def OAI.Problem160.ProperColoring line 26

    Also declared: ComparatorChallenges/PlaneColoring.lean:11 (same declaration text).

  7. def OAI.Problem160.WeakMeasurableColoring line 30
  8. def OAI.Problem160.planeChromaticNumber line 40