OAI/Combinatorics/MatchingCount/Graphs/TreeInitialMatching.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableRefresh.InitialInput line 9
2. def OAI.MatchingFPRAS.ExecutableRefresh.initial line 11
3. def OAI.MatchingFPRAS.ExecutableRefresh.initialRealizer line 13
4. lemma OAI.MatchingFPRAS.ExecutableRefresh.polynomial_initial line 16
5. lemma OAI.MatchingFPRAS.ExecutableRefresh.initial_valid line 25
6. theorem OAI.MatchingFPRAS.ExecutableRefresh.initial_post line 49