OAI/Geometry/Immersion/ClosedSurface/ExtendedCancellation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ClosedSurfaceR4.RealModes.phaseCanceller_vanishes_local line 16
2. lemma OAI.ClosedSurfaceR4.RealModes.displacement_zero_value line 40
3. lemma OAI.ClosedSurfaceR4.RealModes.linearized_error_vanishes line 45
4. theorem OAI.ClosedSurfaceR4.RealModes.phaseCanceller_extend line 59
5. theorem OAI.ClosedSurfaceR4.RealModes.weighted_extended_phaseCanceller line 81