OAI/Geometry/HeilbronnTriangle/Definitions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.Point line 10

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

  2. def OAI.Problem355.triangleArea line 12

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

  3. def OAI.Problem355.pointInUnitSquare line 15

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:14 (same declaration text).

  4. def OAI.Problem355.pointsInUnitSquare line 18

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:17 (same declaration text).

  5. def OAI.Problem355.triangleAreasAtLeast line 22

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:21 (same declaration text).

  6. def OAI.Problem355.hasTriangleAreaAtMost line 27

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:26 (same declaration text).

  7. def OAI.Problem355.heilbronnD line 32

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:31 (same declaration text).

  8. def OAI.Problem355.heilbronnM line 34

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:33 (same declaration text).

  9. def OAI.Problem355.heilbronnT line 36

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:35 (same declaration text).

  10. def OAI.Problem355.heilbronnK line 38

    Distinct definitions of this name: ComparatorChallenges/HeilbronnTriangle.lean:37 (different declaration text). Qualify references as OAI.Problem355.heilbronnK@path.

  11. def OAI.Problem355.heilbronnExponent line 40

    Also declared: ComparatorChallenges/HeilbronnTriangle.lean:39 (same declaration text).

  12. def OAI.Problem355.eventualAlmostUpperBound line 43

    Distinct definitions of this name: ComparatorChallenges/HeilbronnTriangle.lean:42 (same statement text; different proof or body). Qualify references as OAI.Problem355.eventualAlmostUpperBound@path.