OAI/MathematicalPhysics/NavierStokes/ShearFlows/Differential.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShearFlows.transverseSum line 10
  2. theorem OAI.ShearFlows.transverseSum_hasFDerivAt line 15
  3. theorem OAI.ShearFlows.transverseSum_fderiv_apply line 25
  4. theorem OAI.ShearFlows.sum_coordinates_basis line 34
  5. theorem OAI.ShearFlows.coordinate_trace line 38
  6. theorem OAI.ShearFlows.transverseSum_divergence line 48
  7. theorem OAI.ShearFlows.transverseSum_advection line 63
  8. def OAI.ShearFlows.selectTwo line 75
  9. theorem OAI.ShearFlows.selectTwo_basis line 78
  10. def OAI.ShearFlows.sevenFields line 83
  11. theorem OAI.ShearFlows.sevenFields_divergence_advection line 99