OAI/MathematicalPhysics/NavierStokes/ShearFlows/EffectiveInterface.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ShearFlows.RationalSpaceTime line 15
  2. abbrev OAI.ShearFlows.RationalVector line 16
  3. def OAI.ShearFlows.rationalVector line 18
  4. def OAI.ShearFlows.IsFastName line 20
  5. theorem OAI.ShearFlows.timeSpaceCoord_norm line 23
  6. theorem OAI.ShearFlows.spaceTimeDirections_sum line 29
  7. def OAI.ShearFlows.VelocityExpr.modulusBound line 38
  8. theorem OAI.ShearFlows.VelocityExpr.fderiv_bound line 41
  9. theorem OAI.ShearFlows.VelocityExpr.lipschitz_bound line 59
  10. def OAI.ShearFlows.VelocityExpr.inputPrecision line 67
  11. theorem OAI.ShearFlows.VelocityExpr.inputPrecision_spec line 70
  12. def OAI.ShearFlows.VelocityExpr.Ready line 86
  13. instance OAI.ShearFlows.VelocityExpr.(instance at line 89) line 89
  14. theorem OAI.ShearFlows.VelocityExpr.ready_exists line 92
  15. def OAI.ShearFlows.VelocityExpr.evaluateRational line 102
  16. theorem OAI.ShearFlows.VelocityExpr.evaluateRational_spec line 107
  17. def OAI.ShearFlows.VelocityExpr.evaluate line 119
  18. theorem OAI.ShearFlows.VelocityExpr.evaluate_spec line 123
  19. structure OAI.ShearFlows.FinitePrescription line 142
  20. def OAI.ShearFlows.compileShears line 146
  21. structure OAI.ShearFlows.HasEffectiveDerivatives line 148
  22. theorem OAI.ShearFlows.compileShears_effective line 156