OAI/Combinatorics/MatchingCount/Sampling/TableMarking.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.TableMarking.Marked line 14
2. def OAI.MatchingFPRAS.TableMarking.reveal line 16
3. def OAI.MatchingFPRAS.TableMarking.draw line 20
4. def OAI.MatchingFPRAS.TableMarking.portion line 24
5. def OAI.MatchingFPRAS.TableMarking.law line 26
6. lemma OAI.MatchingFPRAS.TableMarking.reveal_law line 29
7. lemma OAI.MatchingFPRAS.TableMarking.draw_tv line 42
8. lemma OAI.MatchingFPRAS.TableMarking.draw_tv_size line 67