OAI/Geometry/Immersion/ClosedSurface/AssembledMean.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ClosedSurfaceR4.PhaseMean.extendedMeanTerm line 16
2. lemma OAI.ClosedSurfaceR4.PhaseMean.meanTerm_vanishes line 21
3. theorem OAI.ClosedSurfaceR4.PhaseMean.actual_extended_mean_bounds line 35
4. def OAI.ClosedSurfaceR4.PhaseMean.assembledMean line 85
5. theorem OAI.ClosedSurfaceR4.PhaseMean.assembledMean_bounds line 93
6. theorem OAI.ClosedSurfaceR4.PhaseMean.assembledMean_finite_adjustment line 120