OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Flow/PlanarIteration.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Integer-phase iteration of a periodic planar processor.

  1. theorem OAI.ForcedComputation.IsPlanarTransition.phase_nat line 12
  2. theorem OAI.ForcedComputation.IsPlanarTransition.nat_shift line 25
  3. theorem OAI.ForcedComputation.planar_recorder_steps line 32