OAI/Combinatorics/InfiniteMatroid/CorollaryModel.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.InfiniteMatroidCounterexample.IsUniform line 8

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:81 (same declaration text).

2. def OAI.InfiniteMatroidCounterexample.IsPartitional line 11

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:84 (same declaration text).

3. def OAI.InfiniteMatroidCounterexample.HasIntersection line 15

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:88 (same declaration text).

4. def OAI.InfiniteMatroidCounterexample.FamilyCovering line 19

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:92 (same declaration text).

5. def OAI.InfiniteMatroidCounterexample.FamilyPacking line 22

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:95 (same declaration text).

6. def OAI.InfiniteMatroidCounterexample.CoveringConjectureFor line 26

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:99 (same declaration text).

7. def OAI.InfiniteMatroidCounterexample.PackingConjectureFor line 30

   Also declared: ComparatorChallenges/InfiniteMatroidCorollaries.lean:103 (same declaration text).