OAI/Geometry/SurfaceImmersion/Correction/ChartedMeanProfile.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Numerical and compact geometric data kept fixed while scales and maps vary in the small-increment construction.

  1. structure OAI.ClosedSurfaceR4.JetPolynomial.Perturbation.ChartedMeanProfile line 13
  2. structure OAI.ClosedSurfaceR4.JetPolynomial.Perturbation.ChartedMeanProfile.Fits line 49