OAI/Combinatorics/MatchingCount/Graphs/TreeBags.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bag_members line 22
2. def OAI.MatchingFPRAS.ExecutableHierarchy.arbitraryNumberedBags line 41
3. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bag_perm line 47
4. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bagTable line 65
5. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bagTable_length line 78
6. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bagTable_numbered line 87
7. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bagTable_enumerated line 94
8. def OAI.MatchingFPRAS.ExecutableHierarchy.ordinaryLabelFintype line 101
9. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_bagTable_fintype line 104