OAI/Geometry/SurfaceImmersion/Whitney/SimpleCrosscapArc.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

For the prepared map with simple singular fibers, the connecting ordered arc has two regular sheets at every interior point.

  1. theorem OAI.ClosedSurfaceR4.FiniteOrderSmoothing.simple_prepared_crosscap_ordered_arc line 17