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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The slowed computation works at every rational loading point and coding height used by the fixed-label applications.

  1. theorem OAI.ForcedComputation.slow_loaded_computation line 14