OAI/Combinatorics/MatchingCount/Graphs/TreeBagCorrect.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableHierarchy.bag_members line 22
2. def OAI.MatchingFPRAS.ExecutableHierarchy.colorNumberedBags line 40
3. lemma OAI.MatchingFPRAS.ExecutableHierarchy.bag_perm line 44
4. lemma OAI.MatchingFPRAS.ExecutableHierarchy.bagTable_represented line 60