OAI/MathematicalPhysics/Transonic/Phase/OperatorTarget.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SepticProfile.PhysicalFunction line 11
  2. def OAI.SepticProfile.partialTime line 13
  3. def OAI.SepticProfile.partialSpace line 15
  4. def OAI.SepticProfile.minkowskiPair line 17
  5. def OAI.SepticProfile.phaseTransport line 21
  6. def OAI.SepticProfile.GlobalProfile.w0 line 26
  7. def OAI.SepticProfile.GlobalProfile.linearizedPhase line 29
  8. def OAI.SepticProfile.InProfileSpace line 36
  9. def OAI.SepticProfile.ProfileSurjectivity line 42
  10. def OAI.SepticProfile.FullProfileInputExists line 47