OAI/MathematicalPhysics/Transonic/Shooting/EndpointSpecialization.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SepticProfile.SourceFamily.sig_left line 17
2. lemma OAI.SepticProfile.SourceFamily.kap_left line 20
3. lemma OAI.SepticProfile.SourceFamily.slp_left line 23
4. lemma OAI.SepticProfile.SourceFamily.sig_right line 26
5. lemma OAI.SepticProfile.SourceFamily.kap_right line 29
6. lemma OAI.SepticProfile.SourceFamily.slp_right line 32
7. lemma OAI.SepticProfile.SourceFamily.UniformGerm.euler_jet_data line 36
8. lemma OAI.SepticProfile.SourceFamily.left_certificate line 46
9. lemma OAI.SepticProfile.SourceFamily.right_certificate line 50
10. lemma OAI.SepticProfile.SourceFamily.UniformGerm.left_entry_bounds line 55
11. lemma OAI.SepticProfile.SourceFamily.UniformGerm.right_entry_bounds line 68
12. lemma OAI.SepticProfile.SourceFamily.sig_left_regular line 81
13. lemma OAI.SepticProfile.SourceFamily.kap_left_regular line 84
14. lemma OAI.SepticProfile.SourceFamily.sig_right_regular line 87
15. lemma OAI.SepticProfile.SourceFamily.kap_right_regular line 90