OAI/Combinatorics/Ryser/Hypergraph/Definitions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.RyserCoveringCounterexample.Hypergraph line 10

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:9 (same statement text; different proof or body), ComparatorChallenges/RyserOddExtensions.lean:9 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.Hypergraph@path.

2. def OAI.RyserCoveringCounterexample.IsCover line 14

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:15 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:13 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.IsCover@path.

3. def OAI.RyserCoveringCounterexample.NonemptyEdges line 17
4. def OAI.RyserCoveringCounterexample.Intersecting line 19

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:18 (same statement text; different proof or body), ComparatorChallenges/RyserOddExtensions.lean:16 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.Intersecting@path.

5. def OAI.RyserCoveringCounterexample.IsMatching line 22
6. def OAI.RyserCoveringCounterexample.matchings line 25

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:22 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:20 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.matchings@path.

7. def OAI.RyserCoveringCounterexample.matchingNumber line 29

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:26 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:25 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.matchingNumber@path.

8. def OAI.RyserCoveringCounterexample.coverCardinalities line 31

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:28 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:28 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.coverCardinalities@path.

9. def OAI.RyserCoveringCounterexample.coverNumber line 34

   Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:31 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:31 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.coverNumber@path.

10. def OAI.RyserCoveringCounterexample.Uniform line 36

    Distinct definitions of this name: ComparatorChallenges/RyserOddExtensions.lean:33 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.Uniform@path.

11. def OAI.RyserCoveringCounterexample.PartiteUniform line 38

    Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:33 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:36 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.PartiteUniform@path.

12. def OAI.RyserCoveringCounterexample.RPartiteUniform line 41

    Distinct definitions of this name: ComparatorChallenges/RyserCovering.lean:36 (same declaration text), ComparatorChallenges/RyserOddExtensions.lean:41 (different declaration text). Qualify references as OAI.RyserCoveringCounterexample.RPartiteUniform@path.