OAI/MathematicalPhysics/Transonic/Exterior/Trace.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SepticProfile.ExteriorJet.enclosed_pos line 11
  2. def OAI.SepticProfile.ExteriorJet.oneBox line 18
  3. lemma OAI.SepticProfile.ExteriorJet.holds_oneBox line 19
  4. def OAI.SepticProfile.ExteriorJet.divBox line 21
  5. def OAI.SepticProfile.ExteriorJet.pairBox line 22
  6. def OAI.SepticProfile.ExteriorJet.squareBox line 23
  7. def OAI.SepticProfile.ExteriorJet.squareRestBox line 25
  8. def OAI.SepticProfile.ExteriorJet.power2Box line 27
  9. def OAI.SepticProfile.ExteriorJet.power3Box line 29
  10. def OAI.SepticProfile.ExteriorJet.power4Box line 31
  11. lemma OAI.SepticProfile.ExteriorJet.relative_enclosed line 34
  12. lemma OAI.SepticProfile.ExteriorJet.pair_enclosed line 54
  13. lemma OAI.SepticProfile.ExteriorJet.square_enclosed line 61
  14. lemma OAI.SepticProfile.ExteriorJet.squareRest_enclosed line 74
  15. lemma OAI.SepticProfile.ExteriorJet.power2_enclosed line 87
  16. lemma OAI.SepticProfile.ExteriorJet.power3_enclosed line 99
  17. lemma OAI.SepticProfile.ExteriorJet.power4_enclosed line 113