OAI/MathematicalPhysics/SheetFlows/DirectForce.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows direct force.

  1. theorem OAI.Solenoidal.spatialPartial_zero line 14
  2. theorem OAI.Solenoidal.timePartial_zero line 18
  3. theorem OAI.Solenoidal.laplacian_zero line 22
  4. theorem OAI.Solenoidal.gradient_zero line 26
  5. theorem OAI.Solenoidal.advection_zero line 30
  6. theorem OAI.Solenoidal.mixedDerivative_zero line 34
  7. theorem OAI.Solenoidal.zero_spatially_periodic line 42
  8. theorem OAI.Solenoidal.zero_smooth line 46
  9. theorem OAI.Solenoidal.zero_mean_zero line 48
  10. theorem OAI.Solenoidal.zero_divergence_free line 52
  11. theorem OAI.Solenoidal.zero_one_periodic line 56
  12. theorem OAI.Solenoidal.zero_integer_collars line 60
  13. theorem OAI.Solenoidal.rational_computable line 65
  14. theorem OAI.Solenoidal.zero_effective line 72
  15. theorem OAI.Solenoidal.zero_effective_bounds line 79
  16. theorem OAI.Solenoidal.EffectiveBounds.bounded line 87
  17. theorem OAI.Solenoidal.zero_classical_solution line 94
  18. theorem OAI.Solenoidal.zero_material_flow line 128
  19. def OAI.Solenoidal.directForce line 133
  20. theorem OAI.Solenoidal.directForce_equation line 136
  21. def OAI.Solenoidal.eraseAxis line 143
  22. theorem OAI.Solenoidal.eraseAxis_apply line 147
  23. theorem OAI.Solenoidal.eraseAxis_basis line 150
  24. def OAI.Solenoidal.axialField line 153
  25. theorem OAI.Solenoidal.fderiv_axialField line 156
  26. theorem OAI.Solenoidal.divergence_axialField line 162
  27. theorem OAI.Solenoidal.advection_axialField line 177
  28. theorem OAI.Solenoidal.axialField_divergence_free line 185
  29. def OAI.Solenoidal.pulseField line 190
  30. def OAI.Solenoidal.pulseTrajectory line 193
  31. theorem OAI.Solenoidal.eraseAxis_pulseTrajectory line 197
  32. theorem OAI.Solenoidal.pulseTrajectory_hasDerivAt line 202
  33. theorem OAI.Solenoidal.pulse_material_flow line 214
  34. theorem OAI.Solenoidal.pulseTrajectory_endpoint line 225