OAI/MathematicalPhysics/Transonic/Exterior/Jet.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SepticProfile.ExteriorJet.Series line 9
  2. def OAI.SepticProfile.ExteriorJet.reflected line 11
  3. def OAI.SepticProfile.ExteriorJet.pref line 13
  4. def OAI.SepticProfile.ExteriorJet.residual line 14
  5. lemma OAI.SepticProfile.ExteriorJet.derivative_rescale line 19
  6. lemma OAI.SepticProfile.ExteriorJet.reflected_equation line 25
  7. lemma OAI.SepticProfile.ExteriorJet.reflected_zero line 41
  8. lemma OAI.SepticProfile.ExteriorJet.reflected_one line 43
  9. def OAI.SepticProfile.ExteriorJet.p0 line 46
  10. def OAI.SepticProfile.ExteriorJet.p1 line 47
  11. def OAI.SepticProfile.ExteriorJet.p2 line 48
  12. def OAI.SepticProfile.ExteriorJet.p3 line 49
  13. def OAI.SepticProfile.ExteriorJet.i10 line 51
  14. def OAI.SepticProfile.ExteriorJet.i11 line 52
  15. def OAI.SepticProfile.ExteriorJet.i20 line 53
  16. def OAI.SepticProfile.ExteriorJet.i21 line 54
  17. def OAI.SepticProfile.ExteriorJet.i30 line 55
  18. def OAI.SepticProfile.ExteriorJet.i31 line 56
  19. def OAI.SepticProfile.ExteriorJet.i40 line 57
  20. def OAI.SepticProfile.ExteriorJet.i41 line 58
  21. lemma OAI.SepticProfile.ExteriorJet.pref_expansion line 60
  22. lemma OAI.SepticProfile.ExteriorJet.residual_expansion line 66
  23. lemma OAI.SepticProfile.ExteriorJet.coeff_pref_derivative line 83
  24. lemma OAI.SepticProfile.ExteriorJet.coefficient_equation line 104