OAI/Combinatorics/MatchingCount/Algorithm/OnlineTransitionLaw.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.OnlineStage.realRawDraw line 22
2. lemma OAI.MatchingFPRAS.OnlineStage.realRawDraw_law line 27
3. lemma OAI.MatchingFPRAS.OnlineStage.realRawDraw_inverse line 36
4. lemma OAI.MatchingFPRAS.OnlineStage.finiteLaw_parameters line 43
5. abbrev OAI.MatchingFPRAS.OnlineStage.denominator line 53
6. def OAI.MatchingFPRAS.OnlineStage.fixedRequest line 54
7. def OAI.MatchingFPRAS.OnlineStage.fixedData line 59
8. def OAI.MatchingFPRAS.OnlineStage.transition line 63
9. lemma OAI.MatchingFPRAS.OnlineStage.transition_mean line 66