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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

After the finite loading interval, the slowed mechanism uses only the machine's periodic table. This statement concerns the actual force as well.

  1. theorem OAI.ForcedComputation.slow_initialized_tail line 13