OAI/Geometry/SurfaceImmersion/Primitive/CircularSectionProfiles.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Circular profiles of the actual original immersion, expressed through its second jet and its transverse third derivative.

  1. theorem OAI.ClosedSurfaceR4.SurfaceVelocityFamily.Loop.circular_geometricLeadingProfile line 15