OAI/Combinatorics/MatchingCount/Probability/OnlineLayerLaw.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_const line 9
2. lemma OAI.MatchingFPRAS.OnlineTrial.mean_drawAppend line 24
3. lemma OAI.MatchingFPRAS.OnlineTrial.mean_layer_succ line 33
4. def OAI.MatchingFPRAS.OnlineTrial.product line 45
5. lemma OAI.MatchingFPRAS.OnlineTrial.product_nonneg line 48
6. lemma OAI.MatchingFPRAS.OnlineTrial.product_append line 50