OAI/MathematicalPhysics/NavierStokes/Material/MaterialFlow.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Alternating.finite_lipschitz_bound line 11
  2. theorem OAI.Alternating.finiteParticle_unique line 31
  3. theorem OAI.Alternating.solvesParticle_unique line 52
  4. theorem OAI.Alternating.exists_finiteParticle line 62
  5. theorem OAI.Alternating.exists_globalMaterialFlow line 81
  6. def OAI.Alternating.constructedFlow line 116
  7. theorem OAI.Alternating.constructedFlow_material line 120
  8. theorem OAI.Alternating.constructedFlow_observed line 125
  9. theorem OAI.Alternating.constructedFlow_reaches_iff line 130
  10. theorem OAI.Alternating.explicit_navierStokes_material_simulation line 139