OAI/Geometry/SurfaceImmersion/Correction/UniformPolynomialCompactFamily.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fixed finite good-phase covers provide the perturbed polynomial solvers.

  1. theorem OAI.ClosedSurfaceR4.PhaseGeometry.CompactPhaseFamily.uniform_polynomial_solvers_all_profiles line 14