OAI/MathematicalPhysics/NavierStokes/VelocityDetection/StacksOptionStep.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VelocityDetection.Stacks.optionStep line 18
2. theorem OAI.VelocityDetection.Stacks.optionStep_none line 21
3. theorem OAI.VelocityDetection.Stacks.next_eq_of_optionStep line 24
4. theorem OAI.VelocityDetection.Stacks.reaches_orbit line 33
5. theorem OAI.VelocityDetection.Stacks.orbit_of_reaches line 46
6. theorem OAI.VelocityDetection.Stacks.eval_dom_iff_halts line 55