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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Integer-time sampling of the material flow of a periodic program.

  1. theorem OAI.ShearFlows.TimePeriodic.nat_shift line 11
  2. theorem OAI.ShearFlows.IsMaterialFlow.nat_shift line 16
  3. theorem OAI.ShearFlows.IsMaterialFlow.nat_eq_iterate line 26