OAI/Combinatorics/PerfectMatching/ElementaryCount.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.Algorithm.count_zero_vertices line 11
2. lemma OAI.BinaryMatching.Algorithm.count_odd_vertices line 27
3. lemma OAI.BinaryMatching.Algorithm.count_two_vertices line 36
4. lemma OAI.BinaryMatching.Algorithm.present_endpoints_covered line 74
5. lemma OAI.BinaryMatching.Algorithm.positive_count_covered line 93
6. lemma OAI.BinaryMatching.Algorithm.count_zero_of_uncovered line 107
7. theorem OAI.BinaryMatching.Algorithm.approximate_correct line 112