OAI/Geometry/Immersion/ClosedSurface/PhaseWeights.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ClosedSurfaceR4.PhaseGeometry.good_smul line 12
2. theorem OAI.ClosedSurfaceR4.PhaseGeometry.uniform_good_perturbation line 22
3. theorem OAI.ClosedSurfaceR4.PhaseGeometry.exists_dominant_weight line 46
4. theorem OAI.ClosedSurfaceR4.PhaseGeometry.finite_good_weights line 92