OAI/Geometry/SingularHomology/SingularSimplexLebesgue.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.SingularSimplexLebesgue.exists_small_image_radius line 18
2. theorem OAI.Problem340.SingularSimplexLebesgue.exists_finite_small_image_radius line 37
3. theorem OAI.Problem340.SingularSimplexLebesgue.exists_finite_reparametrization_radius line 59
4. theorem OAI.Problem340.SingularSimplexLebesgue.eventually_small_images_of_mesh_tendsto_zero line 73
5. theorem OAI.Problem340.SingularSimplexLebesgue.exists_small_image_stage_of_geometric_mesh line 87
6. theorem OAI.Problem340.SingularSimplexLebesgue.exists_singular_reparametrization_radius line 111