OAI/Geometry/SurfaceImmersion/Correction/FiniteSpecialPointCorrection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous small affine corrections around finitely many distinct special points.

  1. theorem OAI.ClosedSurfaceR4.TransverseSmallFunction.exists_finite_special_correction line 12