OAI/MathematicalPhysics/NavierStokes/VelocityDetection/ExpandingArrayDriftData.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.ExpandingArray.driftData line 21
  2. theorem OAI.VelocityDetection.ExpandingArray.driftData_scalar line 26
  3. def OAI.VelocityDetection.ExpandingArray.scalarSolution line 29
  4. theorem OAI.VelocityDetection.ExpandingArray.contDiff_scalarSolution line 32
  5. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_C1Tails line 36
  6. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_D_Tails line 40
  7. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_DD_Tails line 44
  8. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_equation line 48
  9. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_zero line 55
  10. theorem OAI.VelocityDetection.ExpandingArray.scalarSolution_properties line 59
  11. def OAI.VelocityDetection.ExpandingArray.velocity line 71
  12. theorem OAI.VelocityDetection.ExpandingArray.contDiff_velocity line 74
  13. theorem OAI.VelocityDetection.ExpandingArray.velocity_comparisonClass line 81
  14. theorem OAI.VelocityDetection.ExpandingArray.velocity_NavierStokes line 90
  15. theorem OAI.VelocityDetection.ExpandingArray.velocity_unique line 97
  16. theorem OAI.VelocityDetection.ExpandingArray.velocity_detection line 106