OAI/MathematicalPhysics/NavierStokes/ShearFlows/ForceIdentities.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShearFlows.opposite_faces_translate line 13
  2. theorem OAI.ShearFlows.integral_periodic_derivative line 20
  3. theorem OAI.ShearFlows.laplacian_mean_zero line 57
  4. theorem OAI.ShearFlows.timeDerivative_pulsedSum line 77
  5. theorem OAI.ShearFlows.realizingForce_mean_zero line 83
  6. theorem OAI.ShearFlows.fderiv_eval_direction line 104
  7. theorem OAI.ShearFlows.mixedDerivative_commute line 111
  8. theorem OAI.ShearFlows.fderiv_coordinate line 120
  9. theorem OAI.ShearFlows.solenoidal_one_mixed line 127
  10. theorem OAI.ShearFlows.mixedDerivative_cons_eq line 148
  11. theorem OAI.ShearFlows.solenoidal_mixed line 151
  12. theorem OAI.ShearFlows.divergence_sub line 158
  13. theorem OAI.ShearFlows.divergence_sum line 164
  14. theorem OAI.ShearFlows.force_solenoidal line 171