OAI/Combinatorics/EuclideanRamsey/Model.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.EuclideanRamsey.Space line 9

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:9 (same declaration text), ComparatorChallenges/EuclideanRamseyCircle.lean:8 (same declaration text), ComparatorChallenges/EuclideanRamseyNine.lean:8 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:9 (same declaration text), ComparatorChallenges/EuclideanRamseySpherical.lean:9 (same declaration text), ComparatorChallenges/EuclideanRamseyTransitive.lean:7 (same declaration text).

  2. def OAI.EuclideanRamsey.Congruent line 11

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:11 (same declaration text), ComparatorChallenges/EuclideanRamseyCircle.lean:10 (same declaration text), ComparatorChallenges/EuclideanRamseyNine.lean:10 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:11 (same declaration text), ComparatorChallenges/EuclideanRamseySpherical.lean:11 (same declaration text), ComparatorChallenges/EuclideanRamseyTransitive.lean:9 (same declaration text).

  3. def OAI.EuclideanRamsey.Ramsey line 14

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:14 (same declaration text), ComparatorChallenges/EuclideanRamseyCircle.lean:13 (same declaration text), ComparatorChallenges/EuclideanRamseyNine.lean:13 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:14 (same declaration text), ComparatorChallenges/EuclideanRamseySpherical.lean:14 (same declaration text), ComparatorChallenges/EuclideanRamseyTransitive.lean:12 (same declaration text).

  4. def OAI.EuclideanRamsey.coordinateField line 19

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:19 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:19 (same declaration text).

  5. abbrev OAI.EuclideanRamsey.Coeff line 22

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:22 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:22 (same declaration text).

  6. abbrev OAI.EuclideanRamsey.TensorRing line 23

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:23 (same declaration text).

  7. def OAI.EuclideanRamsey.coordinate line 25

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:25 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:24 (same declaration text).

  8. def OAI.EuclideanRamsey.augmented line 28

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:28 (same declaration text), ComparatorChallenges/EuclideanRamseyQuadratic.lean:27 (same declaration text).

  9. def OAI.EuclideanRamsey.multiply line 32

    Also declared: ComparatorChallenges/EuclideanRamsey.lean:32 (same declaration text).

  10. def OAI.EuclideanRamsey.FieldCriterion line 35

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