OAI/Combinatorics/MatchingCount/Machines/TreeReachCorrect.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.FiniteReach.grow_source line 11
2. lemma OAI.MatchingFPRAS.TreeTyped.FiniteReach.reach_source line 16
3. lemma OAI.MatchingFPRAS.TreeTyped.FiniteReach.reach_closure line 23
4. def OAI.MatchingFPRAS.TreeTyped.finsetImageWith line 30
5. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_finsetImageWith line 37