OAI/Geometry/SurfaceImmersion/Correction/UniformPolynomialNearbyCancellation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual polynomial cancellation on compact supports, uniform over nearby maps.

  1. theorem OAI.ClosedSurfaceR4.PhaseGeometry.uniform_polynomial_nearby_cancellation_all_profiles line 13