OAI/MathematicalPhysics/NavierStokes/Material/Energy.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Alternating.spatialPartial_zero line 13
  2. theorem OAI.Alternating.spatialPartial_zero_function line 17
  3. theorem OAI.Alternating.shiftedSum_continuousInSobolev line 30
  4. theorem OAI.Alternating.shiftedSum_timeDerivative_on line 45
  5. theorem OAI.Alternating.shiftedSum_c1InL2 line 63
  6. theorem OAI.Alternating.zeroPressure_continuousInSobolev line 82
  7. theorem OAI.Alternating.bounded_finite_cylinder line 89
  8. theorem OAI.Alternating.shiftedSum_energyClass line 113
  9. theorem OAI.Alternating.constructedVelocity_energyClass line 127
  10. def OAI.Alternating.constructedForce line 132
  11. theorem OAI.Alternating.constructedForce_smooth line 134
  12. theorem OAI.Alternating.constructedForce_support line 137
  13. theorem OAI.Alternating.constructedVelocity_nsSolution line 141
  14. theorem OAI.Alternating.explicit_navierStokes_simulation line 146