OAI/Combinatorics/BalancedRyser/Model.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Balanced.PartiteHypergraph line 8

   Also declared: ComparatorChallenges/BalancedRyser.lean:8 (same declaration text).

2. abbrev OAI.Balanced.PartiteHypergraph.Vertex line 15

   Also declared: ComparatorChallenges/BalancedRyser.lean:15 (same declaration text).

3. def OAI.Balanced.PartiteHypergraph.Covers line 17

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

4. def OAI.Balanced.PartiteHypergraph.Intersecting line 20

   Also declared: ComparatorChallenges/BalancedRyser.lean:20 (same declaration text).

5. def OAI.Balanced.PartiteHypergraph.Nonisolated line 23

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

6. def OAI.Balanced.PartiteHypergraph.HasCoverNumber line 26

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

7. def OAI.Balanced.BalancedCounterexample line 32

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

8. def OAI.Balanced.MainResult line 36

   Also declared: ComparatorChallenges/BalancedRyser.lean:36 (same declaration text).