OAI/MathematicalPhysics/NavierStokes/ShearFlows/Localization.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShearFlows.Input.prefixConstant line 15
  2. def OAI.ShearFlows.Input.codingRadius line 18
  3. def OAI.ShearFlows.Input.tubeRadius line 22
  4. theorem OAI.ShearFlows.prefixConstant_ge_one line 28
  5. theorem OAI.ShearFlows.prefixConstant_bound line 35
  6. theorem OAI.ShearFlows.codingRadius_pos line 50
  7. theorem OAI.ShearFlows.tubeRadius_pos line 55
  8. theorem OAI.ShearFlows.tubeRadius_bounds line 68
  9. def OAI.ShearFlows.scalingPoint line 90
  10. theorem OAI.ShearFlows.scalingPoint_initial line 93
  11. theorem OAI.ShearFlows.scalingPoint_final line 96
  12. theorem OAI.ShearFlows.scalingPoint_bound line 99
  13. theorem OAI.ShearFlows.scalingPoint_lipschitz line 107
  14. theorem OAI.ShearFlows.affine_lipschitz line 117
  15. theorem OAI.ShearFlows.scalingPoint_in_plateau line 123
  16. theorem OAI.ShearFlows.plane_eta line 142
  17. theorem OAI.ShearFlows.atHeight_horizontal line 146
  18. theorem OAI.ShearFlows.atHeight_reconstruct line 149
  19. theorem OAI.ShearFlows.spatialFields_lift_value line 153
  20. theorem OAI.ShearFlows.spatialFields_lower_value line 160
  21. def OAI.ShearFlows.scalingIndex line 167
  22. def OAI.ShearFlows.scalingVelocity line 169
  23. theorem OAI.ShearFlows.spatialFields_scaling_value line 175
  24. theorem OAI.ShearFlows.spatialFields_scaling_partial line 186
  25. theorem OAI.ShearFlows.spatialFields_translate_value line 203
  26. theorem OAI.ShearFlows.sourceTube_in_chart line 211