OAI/Geometry/NodalSets/Elliptic/SmoothBeamJet.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.smoothBeamVector line 10
2. def OAI.Yau.Jets.smoothBeamScalar line 13
3. lemma OAI.Yau.Jets.reval_beamVector line 16
4. lemma OAI.Yau.Jets.reval_beamScalar line 21
5. lemma OAI.Yau.Jets.smoothBeamVector_contDiff line 28
6. lemma OAI.Yau.Jets.smoothBeamScalar_contDiff line 33
7. lemma OAI.Yau.Jets.flat_beamVector line 39
8. lemma OAI.Yau.Jets.flat_beamScalar line 62
9. theorem OAI.Yau.Jets.smooth_beam_transport_flat line 73
10. theorem OAI.Yau.Jets.smooth_wave_jets line 103