OAI/MathematicalPhysics/RapidForcing/CurlDerivatives.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RapidForcing.curl_smooth line 9
  2. lemma OAI.RapidForcing.movingPotential_spatial_smooth line 16
  3. lemma OAI.RapidForcing.movingCurl_spatial_smooth line 23
  4. lemma OAI.RapidForcing.addressedVelocity_spatial_smooth line 27
  5. lemma OAI.RapidForcing.fderiv_coordinate line 37
  6. lemma OAI.RapidForcing.hasFDerivAt_partial_coordinate line 47
  7. lemma OAI.RapidForcing.divergence_curl_eq_zero line 56
  8. lemma OAI.RapidForcing.movingCurl_divergence line 82
  9. lemma OAI.RapidForcing.divergence_sum line 86
  10. theorem OAI.RapidForcing.addressedVelocity_divergence line 99
  11. lemma OAI.RapidForcing.gradient_zero line 111
  12. theorem OAI.RapidForcing.addressed_pointwise_equations line 114