OAI/Combinatorics/MatchingCount/Sampling/TreeLadder.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.NumericLadder.sourceContext line 21
2. def OAI.MatchingFPRAS.NumericLadder.localBitsRep line 26
3. lemma OAI.MatchingFPRAS.NumericLadder.source_guide line 29
4. lemma OAI.MatchingFPRAS.NumericLadder.source_pair line 35
5. lemma OAI.MatchingFPRAS.NumericLadder.source_refresh line 44
6. lemma OAI.MatchingFPRAS.NumericLadder.source_run line 53
7. theorem OAI.MatchingFPRAS.NumericLadder.source_ladder_post line 77