OAI/Geometry/SurfaceImmersion/Correction/SurfaceCircularSmooth.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Smoothness of the actual circular surface profile on the selected jet neighborhood.

  1. lemma OAI.ClosedSurfaceR4.SurfaceVelocityFamily.surfaceCircularProfile_smoothOn line 14