OAI/Combinatorics/Chromatic/Model.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ElementaryPositivity.NaturalUnitIntervalGraph line 7

   Also declared: ComparatorChallenges/ElementaryPositivity.lean:7 (same declaration text).

2. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.Edge line 16

   Also declared: ComparatorChallenges/ElementaryPositivity.lean:16 (same declaration text).

3. instance OAI.ElementaryPositivity.NaturalUnitIntervalGraph.(instance at line 19) line 19
4. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.Nondescent line 22

   Also declared: ComparatorChallenges/ElementaryPositivity.lean:22 (same declaration text).

5. instance OAI.ElementaryPositivity.NaturalUnitIntervalGraph.(instance at line 25) line 25
6. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.graphInversions line 29

   Also declared: ComparatorChallenges/ElementaryPositivity.lean:29 (same declaration text).

7. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.Proper line 33

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

8. instance OAI.ElementaryPositivity.NaturalUnitIntervalGraph.(instance at line 36) line 36
9. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.coloringAscents line 39

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

10. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.chromatic line 43

    Also declared: ComparatorChallenges/ElementaryPositivity.lean:43 (same declaration text).

11. structure OAI.ElementaryPositivity.NaturalUnitIntervalGraph.PermutationWitness line 48

    Also declared: ComparatorChallenges/ElementaryPositivity.lean:48 (same declaration text).