OAI/Combinatorics/MatchingCount/Machines/TreeEnumeration.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableSource.pairwise_product line 18
2. lemma OAI.MatchingFPRAS.ExecutableSource.logicalEdges_pairwise line 32
3. lemma OAI.MatchingFPRAS.ExecutableSource.vertices_pairwise line 35
4. lemma OAI.MatchingFPRAS.ExecutableSource.logicalRepr_le line 50
5. lemma OAI.MatchingFPRAS.ExecutableSource.vertexRepr_le line 54
6. lemma OAI.MatchingFPRAS.ExecutableSource.vertices_eq_ofFn line 81