OAI/Geometry/NodalSets/Coefficients/SmoothFiniteResidual.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.revalLinear line 11
2. lemma OAI.Yau.Jets.revalLinear_apply line 14
3. def OAI.Yau.Jets.secondOrderAt line 17
4. def OAI.Yau.Jets.transportAt line 23
5. lemma OAI.Yau.Jets.secondOrderAt_apply line 27
6. lemma OAI.Yau.Jets.transportAt_apply line 31
7. theorem OAI.Yau.Jets.evaluated_transport_telescope line 35
8. lemma OAI.Yau.Jets.finiteAmplitude_range_reval line 57
9. theorem OAI.Yau.Jets.smooth_finite_transport_telescope line 64
10. theorem OAI.Yau.Jets.smooth_finite_wave_residual line 80