OAI/MathematicalPhysics/SheetFlows/RationalFormula.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows rational formula.

  1. def OAI.Solenoidal.BoxExpr.suml line 15
  2. theorem OAI.Solenoidal.BoxExpr.eval_suml line 19
  3. def OAI.Solenoidal.BoxExpr.sum line 25
  4. theorem OAI.Solenoidal.BoxExpr.eval_sum line 28
  5. def OAI.Solenoidal.HasRationalFormula line 34
  6. theorem OAI.Solenoidal.HasRationalFormula.zero line 40
  7. theorem OAI.Solenoidal.HasRationalFormula.add line 46
  8. theorem OAI.Solenoidal.HasRationalFormula.smul line 57
  9. theorem OAI.Solenoidal.HasRationalFormula.sum line 66
  10. theorem OAI.Solenoidal.HasRationalFormula.mixed line 75
  11. theorem OAI.Solenoidal.HasRationalFormula.directional line 84
  12. theorem OAI.Solenoidal.HasRationalFormula.fullTimePartial line 87
  13. theorem OAI.Solenoidal.HasRationalFormula.spatialPartial line 92
  14. theorem OAI.Solenoidal.HasRationalFormula.laplacian line 99
  15. theorem OAI.Solenoidal.HasRationalFormula.directForce line 103
  16. theorem OAI.Solenoidal.HasRationalFormula.bounds line 110
  17. def OAI.Solenoidal.spatialCoordinate line 119
  18. theorem OAI.Solenoidal.spatialCoordinate_eval line 121
  19. theorem OAI.Solenoidal.tensorVelocity_formula line 125
  20. theorem OAI.Solenoidal.timeProfile_formula line 148
  21. def OAI.Solenoidal.slotLeftRat line 160
  22. def OAI.Solenoidal.slotRightRat line 161
  23. theorem OAI.Solenoidal.slotLeftRat_cast line 163
  24. theorem OAI.Solenoidal.slotRightRat_cast line 167
  25. def OAI.Solenoidal.scheduledPulse_jet line 171
  26. theorem OAI.Solenoidal.scheduleVelocity_formula line 187