OAI/Combinatorics/MatchingCount/Sampling/TreePairStep.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairStepTable line 14
2. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairStepRealizer line 17
3. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_pairStep line 26
4. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairDraw line 43
5. def OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairDrawRealizer line 46
6. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.polynomial_pairDraw line 55
7. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairStep_eq line 84
8. lemma OAI.MatchingFPRAS.TreeTyped.SparseProgram.pairDraw_eq line 99