OAI/Geometry/Cannon/Boundary/VisualSynchronousPrefix.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonRelease.visual_synchronous_prefix line 26
2. theorem OAI.CannonRelease.separated_ray_products line 66
3. theorem OAI.CannonRelease.inverse_puncture_prefix line 86
4. lemma OAI.CannonRelease.uniform_graph_ball_card line 139
5. theorem OAI.CannonRelease.vertex_assignment_multiplicity line 155
6. theorem OAI.CannonRelease.puncture_ball_multiplicity line 191
7. lemma OAI.CannonGraph.prefix_of_near_ray line 247
8. lemma OAI.CannonRelease.inverse_ray_prefix line 282
9. theorem OAI.CannonRelease.near_puncture_descendant_count line 297