OAI/Probability/Ballisticity/Estimates/Cell.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.belowHeight_add_nat_mono line 14
2. def OAI.DirectionalTransience.cellLateMass line 22
3. theorem OAI.DirectionalTransience.actual_consumed_cell_failure line 29
4. lemma OAI.DirectionalTransience.firstProtectionFailure_measurable line 106
5. lemma OAI.DirectionalTransience.consumedCellFailure_measurable line 127
6. lemma OAI.DirectionalTransience.cellLateMass_measurable line 153
7. theorem OAI.DirectionalTransience.actual_cell_failure_measurable line 172