OAI/Probability/Ballisticity/Estimates/LayerPairTruthEventMono.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.layerPairTruthEvent_mono line 251
2. lemma OAI.DirectionalTransience.shared_raw_layer_truth_lower line 258
3. lemma OAI.DirectionalTransience.shared_layer_gap_iterate line 274
4. lemma OAI.DirectionalTransience.shared_conditioned_event_ge_raw line 335
5. theorem OAI.DirectionalTransience.bad_radius_lower_cutoff_escape line 348