OAI/Geometry/SingularHomology/SimplexSubtypeMesh.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.SimplexSubtypeMesh.dist_le_of_convex_carrier line 16
2. theorem OAI.Problem340.SimplexSubtypeMesh.diam_range_le_of_convex_carrier line 25
3. theorem OAI.Problem340.SimplexSubtypeMesh.dist_le_of_nested_face_carrier line 34
4. theorem OAI.Problem340.SimplexSubtypeMesh.exists_singular_small_stage_of_convex_mesh line 58