OAI/Geometry/Immersion/ClosedSurface/UniformMean.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ClosedSurfaceR4.RealModes.finite_free_mean_adjustment_uniform line 14
2. lemma OAI.ClosedSurfaceR4.RealModes.weighted_coordDeriv_of_jets line 77
3. def OAI.ClosedSurfaceR4.RealModes.meanFreeBudget line 96
4. theorem OAI.ClosedSurfaceR4.RealModes.LocalBounds.uniform_freeBudget line 126