OAI/Probability/LatticeSurface/Skorokhod/SkorokhodFacetSupport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ConvexSkorokhod.facetPath line 10
2. def OAI.ConvexSkorokhod.facetDriver line 12
3. lemma OAI.ConvexSkorokhod.project_outward_ray line 23
4. lemma OAI.ConvexSkorokhod.facetPath_continuous line 38
5. lemma OAI.ConvexSkorokhod.facetDriver_continuous line 42
6. lemma OAI.ConvexSkorokhod.facetPath_mem line 46
7. lemma OAI.ConvexSkorokhod.facet_projection_step line 55
8. lemma OAI.ConvexSkorokhod.facet_walk line 79
9. lemma OAI.ConvexSkorokhod.facet_mesh_tendsto line 91