OAI/Geometry/Immersion/ClosedSurface/SupportedCancellation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ClosedSurfaceR4.RealModes.weighted_phaseCanceller line 17
2. lemma OAI.ClosedSurfaceR4.SmallModes.modeApprox_tsupport line 87
3. lemma OAI.ClosedSurfaceR4.SmallModes.forcedMode_tsupport line 100
4. lemma OAI.ClosedSurfaceR4.RealModes.realOsc_tsupport line 110
5. lemma OAI.ClosedSurfaceR4.RealModes.coordinateTarget_tsupport line 122
6. lemma OAI.ClosedSurfaceR4.RealModes.phaseCanceller_tsupport line 130
7. lemma OAI.ClosedSurfaceR4.RealModes.contDiff_extended_phaseCanceller line 149
8. lemma OAI.ClosedSurfaceR4.RealModes.realLinearizedTensor_congr_right line 166
9. lemma OAI.ClosedSurfaceR4.RealModes.realLinearizedTensor_zero_right line 171
10. lemma OAI.ClosedSurfaceR4.RealModes.indicator_linearized_error line 178