OAI/MathematicalPhysics/SheetFlows/Differential.lean

GitHub source file

38 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows differential.

  1. def OAI.Solenoidal.scheduleVelocity line 15
  2. theorem OAI.Solenoidal.continuous_integrableOn_cell line 18
  3. theorem OAI.Solenoidal.scheduleVelocity_smooth line 28
  4. theorem OAI.Solenoidal.scheduleVelocity_spatially_periodic line 34
  5. theorem OAI.Solenoidal.scheduleVelocity_onePeriodic line 40
  6. theorem OAI.Solenoidal.scheduleVelocity_meanZero line 47
  7. theorem OAI.Solenoidal.scheduleVelocity_integerCollars line 57
  8. theorem OAI.Solenoidal.scheduleVelocity_initial line 65
  9. theorem OAI.Solenoidal.scheduleVelocity_at_time line 70
  10. theorem OAI.Solenoidal.scheduleVelocity_divergence_free line 87
  11. theorem OAI.Solenoidal.scheduleVelocity_advection_zero line 99
  12. def OAI.Solenoidal.directional line 115
  13. theorem OAI.Solenoidal.directional_contDiff line 117
  14. theorem OAI.Solenoidal.directional_directional line 121
  15. theorem OAI.Solenoidal.directional_commute line 129
  16. theorem OAI.Solenoidal.directional_translation line 137
  17. theorem OAI.Solenoidal.directional_zero line 145
  18. def OAI.Solenoidal.fullTimePartial line 151
  19. def OAI.Solenoidal.fieldDirectional line 153
  20. theorem OAI.Solenoidal.fieldDirectional_smooth line 156
  21. theorem OAI.Solenoidal.spatialPartial_eq_fieldDirectional line 159
  22. theorem OAI.Solenoidal.fullTimePartial_eq_fieldDirectional line 171
  23. theorem OAI.Solenoidal.smooth_spatialPartial line 177
  24. theorem OAI.Solenoidal.smooth_fullTimePartial line 182
  25. theorem OAI.Solenoidal.smooth_laplacian line 186
  26. theorem OAI.Solenoidal.smooth_spatial_slice line 189
  27. theorem OAI.Solenoidal.smooth_temporal_slice line 192
  28. theorem OAI.Solenoidal.timePartial_eq_fullTimePartial line 195
  29. def OAI.Solenoidal.globalDirectForce line 201
  30. theorem OAI.Solenoidal.globalDirectForce_eq_directForce line 204
  31. theorem OAI.Solenoidal.globalDirectForce_smooth line 209
  32. theorem OAI.Solenoidal.fieldDirectional_spatially_periodic line 213
  33. theorem OAI.Solenoidal.fieldDirectional_onePeriodic line 222
  34. theorem OAI.Solenoidal.spatialPartial_spatially_periodic line 231
  35. theorem OAI.Solenoidal.spatialPartial_onePeriodic line 236
  36. theorem OAI.Solenoidal.globalDirectForce_spatially_periodic line 241
  37. theorem OAI.Solenoidal.globalDirectForce_onePeriodic line 254
  38. theorem OAI.Solenoidal.globalDirectForce_classicalSolution line 267