OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/TorusSlowMain.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The unit-torus slow-clock main theorem, at the fixed particle specified in Scalar Potentials and Slow Clocks for Forced Fluid Computation.

  1. def OAI.ForcedComputation.torusSlowStart line 13
  2. def OAI.ForcedComputation.torusSlowProgram line 15
  3. theorem OAI.ForcedComputation.torusSlowLoader_valid line 20
  4. theorem OAI.ForcedComputation.torusSlowBody_valid line 25
  5. def OAI.ForcedComputation.torusSlowVelocity line 29
  6. def OAI.ForcedComputation.torusSlowForce line 33
  7. theorem OAI.ForcedComputation.torus_slow_effective_computation line 36