OAI/Geometry/Immersion/ClosedSurface/ModeDifferences.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ClosedSurfaceR4.SmallModes.component_sub line 12
2. lemma OAI.ClosedSurfaceR4.SmallModes.reducedKx_sub line 15
3. lemma OAI.ClosedSurfaceR4.SmallModes.reducedKy_sub line 22
4. lemma OAI.ClosedSurfaceR4.SmallModes.connectionTerm_sub line 29
5. lemma OAI.ClosedSurfaceR4.SmallModes.amplitudeCorrection_sub line 35
6. lemma OAI.ClosedSurfaceR4.SmallModes.initialAmplitude_sub line 52
7. lemma OAI.ClosedSurfaceR4.SmallModes.zeroParametrix_sub line 67
8. theorem OAI.ClosedSurfaceR4.SmallModes.modeApprox_sub line 80