OAI/Probability/LatticeSurface/Dynamics/ProjectionMesh.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ProjectionComparison.meshTail line 16
2. lemma OAI.ProjectionComparison.recursion_feasible line 33
3. lemma OAI.ProjectionComparison.mesh_tail_step line 39
4. theorem OAI.ProjectionComparison.projection_mesh_tail_displacement line 83