OAI/MathematicalPhysics/NavierStokes/VelocityDetection/MildScalarContDiffScalar.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VelocityDetection.MildScalar.contDiff_scalar line 19
  2. theorem OAI.VelocityDetection.MildScalar.value_timeGenerator line 28
  3. theorem OAI.VelocityDetection.MildScalar.timeD_scalar line 44
  4. theorem OAI.VelocityDetection.MildScalar.scalar_conservation line 54
  5. theorem OAI.VelocityDetection.MildScalar.scalar_equation line 61
  6. theorem OAI.VelocityDetection.MildScalar.scalar_zero line 81
  7. def OAI.VelocityDetection.MildScalar.entryTailL line 85
  8. theorem OAI.VelocityDetection.MildScalar.entryTail_hasDerivWithinAt line 96
  9. theorem OAI.VelocityDetection.MildScalar.wordPartial_C1Tails line 103
  10. theorem OAI.VelocityDetection.MildScalar.scalar_D_Tails line 116
  11. theorem OAI.VelocityDetection.MildScalar.scalar_DD_Tails line 123