OAI/MathematicalPhysics/NavierStokes/VelocityDetection/ArrayTrajectories.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VelocityDetection.ExpandingArray.time_in_stage line 16
  2. def OAI.VelocityDetection.ExpandingArray.point line 46
  3. def OAI.VelocityDetection.ExpandingArray.runPath line 51
  4. theorem OAI.VelocityDetection.ExpandingArray.contDiff_runPath line 61
  5. theorem OAI.VelocityDetection.ExpandingArray.runPath_start line 64
  6. theorem OAI.VelocityDetection.ExpandingArray.runPath_end line 68
  7. theorem OAI.VelocityDetection.ExpandingArray.runPath_joins line 74
  8. def OAI.VelocityDetection.ExpandingArray.runBox line 95
  9. theorem OAI.VelocityDetection.ExpandingArray.runBox_config line 100
  10. def OAI.VelocityDetection.ExpandingArray.runActive line 105
  11. theorem OAI.VelocityDetection.ExpandingArray.target_runActive line 108
  12. theorem OAI.VelocityDetection.ExpandingArray.runPath_eq_installed line 115
  13. theorem OAI.VelocityDetection.ExpandingArray.runPath_plateau line 130
  14. theorem OAI.VelocityDetection.ExpandingArray.runPath_negative line 141