OAI/Probability/Ballisticity/Estimates/AnchorFrameReference.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.ReferenceClasses.anchorOffsets line 14
2. lemma OAI.DirectionalTransience.ReferenceClasses.anchorOffsets_fibers line 25
3. def OAI.DirectionalTransience.ReferenceClasses.anchorFields line 44
4. lemma OAI.DirectionalTransience.ReferenceClasses.anchorOffsets_measurable line 53
5. lemma OAI.DirectionalTransience.ReferenceClasses.anchorFields_measurable line 61
6. theorem OAI.DirectionalTransience.ReferenceClasses.anchorFields_reference line 70
7. theorem OAI.DirectionalTransience.ReferenceClasses.anchorFrame_kl_le line 76