OAI/MathematicalPhysics/SheetFlows/FormulaProfiles.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows formula profiles.

  1. def OAI.Solenoidal.RationalParameter line 14
  2. theorem OAI.Solenoidal.RationalParameter.rat line 18
  3. theorem OAI.Solenoidal.RationalParameter.ofNat line 19
  4. theorem OAI.Solenoidal.RationalParameter.add line 20
  5. theorem OAI.Solenoidal.RationalParameter.sub line 24
  6. theorem OAI.Solenoidal.RationalParameter.mul line 28
  7. theorem OAI.Solenoidal.RationalParameter.div line 32
  8. theorem OAI.Solenoidal.RationalParameter.neg line 36
  9. theorem OAI.Solenoidal.Rectangle.center_rational line 41
  10. theorem OAI.Solenoidal.Rectangle.halfWidth_rational line 45
  11. def OAI.Solenoidal.PeriodicJet.sub line 49
  12. theorem OAI.Solenoidal.Cprofile_hasJet line 54
  13. theorem OAI.Solenoidal.Dprofile_hasJet line 61
  14. def OAI.Solenoidal.StationaryPulse.RationalFormula line 70
  15. theorem OAI.Solenoidal.StationaryPulse.RationalFormula.scale line 72
  16. theorem OAI.Solenoidal.StationaryPulse.rationalFormula_tensor line 77
  17. theorem OAI.Solenoidal.verticalPulse_formula line 90
  18. theorem OAI.Solenoidal.horizontalPulse_formula line 106
  19. theorem OAI.Solenoidal.coreLift0_formula line 120
  20. theorem OAI.Solenoidal.coreLift1_formula line 130
  21. theorem OAI.Solenoidal.coreHorizontal_formula line 140
  22. theorem OAI.Solenoidal.travelProgram_formula line 149
  23. theorem OAI.Solenoidal.tripleProgram0_formula line 157
  24. theorem OAI.Solenoidal.tripleProgram1_formula line 167
  25. theorem OAI.Solenoidal.processingProgram_formula line 177
  26. theorem OAI.Solenoidal.evacuateProgram_formula line 184
  27. theorem OAI.Solenoidal.instructionProgram_formula line 196
  28. theorem OAI.Solenoidal.sheetProgram_formula line 215
  29. theorem OAI.Solenoidal.sheetVelocity_formula line 224