OAI/Combinatorics/MatchingCount/Algorithm/TreeGeneratedMarked.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableSource.generatedContext line 16
2. def OAI.MatchingFPRAS.ExecutableSource.generatedContextRealizer line 18
3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_generatedContext line 21
4. def OAI.MatchingFPRAS.ExecutableSource.generatedMarked line 30
5. def OAI.MatchingFPRAS.ExecutableSource.generatedMarkedRealizer line 32
6. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_generatedMarked line 34
7. lemma OAI.MatchingFPRAS.ExecutableSource.generatedMarked_source line 39
8. theorem OAI.MatchingFPRAS.ExecutableSource.generatedMarked_post line 70