OAI/Probability/Ballisticity/Coupling/SeedOptions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.SeedOptions line 12
2. lemma OAI.DirectionalTransience.seedOptions_of_run line 18
3. lemma OAI.DirectionalTransience.seed_tail_failure_bound line 49
4. lemma OAI.DirectionalTransience.seedOptions_failure_bound line 68
5. lemma OAI.DirectionalTransience.seedOrdered_near_impossible line 118
6. lemma OAI.DirectionalTransience.seedOptions_avoid_mass line 127
7. lemma OAI.DirectionalTransience.countable_pi_cons_apply line 162
8. lemma OAI.DirectionalTransience.tupleSeparated_cons line 172
9. lemma OAI.DirectionalTransience.seedOptions_product_mass line 186