OAI/Combinatorics/MatchingCount/Algorithm/TreeWeightsCorrect.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableSource.logicalEdges_nodup line 10
2. lemma OAI.MatchingFPRAS.ExecutableSource.realEdges_nodup line 12
3. lemma OAI.MatchingFPRAS.ExecutableSource.realRepr_injective line 14
4. lemma OAI.MatchingFPRAS.ExecutableSource.realEdges_finset line 18
5. lemma OAI.MatchingFPRAS.ExecutableSource.sum_realEdges line 30
6. lemma OAI.MatchingFPRAS.ExecutableSource.path_source_repr line 36
7. lemma OAI.MatchingFPRAS.ExecutableSource.ends_source_repr line 44
8. lemma OAI.MatchingFPRAS.ExecutableSource.sameEnds_source line 59
9. lemma OAI.MatchingFPRAS.ExecutableSource.contribution_source_repr line 74
10. lemma OAI.MatchingFPRAS.ExecutableSource.pathActivity_nonneg line 89
11. lemma OAI.MatchingFPRAS.ExecutableSource.activity_source_repr line 101