OAI/Geometry/IsometricImmersion/Immersions/HeightNumericParameters.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SmoothLocal.Flow.HeightNumericData line 13
  2. def OAI.SmoothLocal.Flow.HeightDirectedBudgets line 16
  3. theorem OAI.SmoothLocal.Flow.exists_heightDirectedBudgets line 38
  4. def OAI.SmoothLocal.Flow.heightDirectedNumbers line 53
  5. def OAI.SmoothLocal.Flow.heightDirectedEpsilon line 58
  6. def OAI.SmoothLocal.Flow.heightDirectedLambda line 60
  7. def OAI.SmoothLocal.Flow.heightDirectedSlope line 62
  8. def OAI.SmoothLocal.Flow.heightDirectedCoercivity line 64
  9. theorem OAI.SmoothLocal.Flow.heightDirectedNumbers_spec line 70
  10. theorem OAI.SmoothLocal.Flow.heightDirectedParameters_pos line 76