OAI/Geometry/SurfaceImmersion/Whitney/CrosscapAxisImageVelocity.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact endpoint axis germs force zero image velocity at each crosscap.

  1. lemma OAI.ClosedSurfaceR4.FiniteOrderSmoothing.crosscap_axis_image_velocity line 14
  2. lemma OAI.ClosedSurfaceR4.FiniteOrderSmoothing.CrosscapConnectingArc.endpoint_image_velocity line 45