OAI/MathematicalPhysics/RapidForcing/JointSmoothness.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RapidForcing.curl_joint_smooth line 9
  2. lemma OAI.RapidForcing.movingCurl_joint_smooth line 22
  3. def OAI.RapidForcing.stepVelocity line 35
  4. def OAI.RapidForcing.loadingVelocity line 40
  5. lemma OAI.RapidForcing.stepVelocity_smooth line 43
  6. lemma OAI.RapidForcing.loadingVelocity_smooth line 56
  7. lemma OAI.RapidForcing.stepVelocity_left_collar line 60
  8. lemma OAI.RapidForcing.stepVelocity_right_collar line 68
  9. lemma OAI.RapidForcing.loadingVelocity_right_collar line 76
  10. lemma OAI.RapidForcing.addressedVelocity_eq_finite line 85
  11. theorem OAI.RapidForcing.addressedVelocity_joint_smooth line 119
  12. lemma OAI.RapidForcing.spatialD_joint_smooth line 141
  13. lemma OAI.RapidForcing.ordinaryTimeD_joint_smooth line 151
  14. lemma OAI.RapidForcing.timeD_eq_ordinary line 161
  15. lemma OAI.RapidForcing.advection_joint_smooth line 169
  16. lemma OAI.RapidForcing.laplace_joint_smooth line 177
  17. lemma OAI.RapidForcing.residual_smooth_of_joint_smooth line 185
  18. theorem OAI.RapidForcing.addressed_fields_smooth line 196