OAI/Probability/FirstPassage/SpatialChunkGeometry.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFPP.spatialChunkIndex line 8
2. lemma OAI.PlanarFPP.spatialTranslate_center line 11
3. lemma OAI.PlanarFPP.spatialChunkIndex_horizontal line 17
4. lemma OAI.PlanarFPP.spatialChunkIndex_transverse line 24
5. lemma OAI.PlanarFPP.spatial_chunk_vertex_in_box line 36
6. lemma OAI.PlanarFPP.spatial_chunk_in_box line 59
7. lemma OAI.PlanarFPP.spatialChunkIndex_origin line 68
8. lemma OAI.PlanarFPP.spatialChunkIndex_increment line 71