OAI/Combinatorics/MatchingCount/Machines/TreeMetadata.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_parents_fintype line 11
2. def OAI.MatchingFPRAS.ExecutableSource.sourceParents line 30
3. def OAI.MatchingFPRAS.ExecutableSource.sourceParentsRealizer line 31
4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceParents line 32
5. lemma OAI.MatchingFPRAS.ExecutableSource.sourceParents_source line 34
6. lemma OAI.MatchingFPRAS.ExecutableSource.sourceTables_source line 47