OAI/Geometry/SurfaceImmersion/Whitney/ArcVertexCoordinates.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A finite ambient vertex set induces a finite ordered cut set in each embedded arc.

  1. theorem OAI.ClosedSurfaceR4.FiniteOrderSmoothing.arc_vertex_coordinates line 13