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

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Moving the coding sheet does not change the finite planar program. This supplies the different fixed particle heights in the assigned applications.

  1. def OAI.ShearFlows.Input.shiftHeight line 10
  2. theorem OAI.ShearFlows.ValidInput.shiftHeight line 17
  3. theorem OAI.ShearFlows.Input.shiftHeight_period line 47
  4. theorem OAI.ShearFlows.Input.shiftHeight_instructions line 50
  5. theorem OAI.ShearFlows.Input.shiftHeight_codingHeight line 53