OAI/Probability/Ballisticity/Estimates/ProtectionFirstFailure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.first_protection_failure_split_offset line 13
2. def OAI.DirectionalTransience.firstProtectionFailure line 44
3. lemma OAI.DirectionalTransience.firstProtectionFailure_bound line 48
4. lemma OAI.DirectionalTransience.protection_failure_exponents line 95
5. theorem OAI.DirectionalTransience.actual_late_protection_first_failure line 124