OAI/Geometry/NodalSets/Elliptic/SmoothTransportJet.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Jets.smoothTransport line 10
2. lemma OAI.Yau.Jets.reval_transport line 13
3. lemma OAI.Yau.Jets.smoothTransport_contDiff line 19
4. lemma OAI.Yau.Jets.FlatAt.neg line 25
5. lemma OAI.Yau.Jets.FlatAt.sub line 31
6. theorem OAI.Yau.Jets.flat_transport_coefficients line 36
7. theorem OAI.Yau.Jets.smooth_transport_flat line 60
8. theorem OAI.Yau.Jets.real_polynomial_wave_jets line 76