OAI/MathematicalPhysics/NavierStokes/ShearFlows/Model.lean

GitHub source file

68 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShearFlows.neZeroTwo line 11
  2. theorem OAI.ShearFlows.neZeroThree line 13
  3. theorem OAI.ShearFlows.neZeroFour line 15
  4. theorem OAI.ShearFlows.neZeroEight line 17
  5. theorem OAI.ShearFlows.twoAtLeastTwo line 19
  6. theorem OAI.ShearFlows.fourAtLeastTwo line 21
  7. theorem OAI.ShearFlows.fiveAtLeastTwo line 22
  8. theorem OAI.ShearFlows.eightAtLeastTwo line 24
  9. theorem OAI.ShearFlows.sixteenAtLeastTwo line 26
  10. theorem OAI.ShearFlows.thirtyTwoAtLeastTwo line 28
  11. theorem OAI.ShearFlows.oneTwentyEightAtLeastTwo line 30
  12. abbrev OAI.ShearFlows.Plane line 32
  13. abbrev OAI.ShearFlows.Space line 33
  14. abbrev OAI.ShearFlows.SpaceTime line 34
  15. abbrev OAI.ShearFlows.Velocity line 35
  16. abbrev OAI.ShearFlows.Pressure line 36
  17. structure OAI.ShearFlows.RationalBox line 38
  18. def OAI.ShearFlows.RationalBox.encoding line 44
  19. instance OAI.ShearFlows.RationalBox.(instance at line 50) line 50
  20. def OAI.ShearFlows.RationalBox.carrier line 53
  21. def OAI.ShearFlows.RationalBox.center line 56
  22. def OAI.ShearFlows.RationalBox.halfWidth line 59
  23. def OAI.ShearFlows.RationalBox.positive line 62
  24. def OAI.ShearFlows.RationalBox.nonemptyBox line 65
  25. structure OAI.ShearFlows.Instruction line 70
  26. def OAI.ShearFlows.Instruction.encoding line 77
  27. instance OAI.ShearFlows.Instruction.(instance at line 83) line 83
  28. def OAI.ShearFlows.Instruction.affine line 85
  29. structure OAI.ShearFlows.Input line 91
  30. def OAI.ShearFlows.Input.encoding line 101
  31. instance OAI.ShearFlows.Input.(instance at line 108) line 108
  32. def OAI.ShearFlows.Input.inChart line 110
  33. def OAI.ShearFlows.Input.inPlanarChart line 113
  34. def OAI.ShearFlows.PositivelySeparated line 119
  35. structure OAI.ShearFlows.ValidInput line 122
  36. def OAI.ShearFlows.basis line 150
  37. def OAI.ShearFlows.horizontal line 152
  38. def OAI.ShearFlows.atHeight line 154
  39. def OAI.ShearFlows.latticeVector line 156
  40. def OAI.ShearFlows.SpatiallyPeriodic line 158
  41. def OAI.ShearFlows.TimePeriodic line 161
  42. def OAI.ShearFlows.fundamentalCube line 164
  43. def OAI.ShearFlows.derivative line 166
  44. def OAI.ShearFlows.divergence line 169
  45. def OAI.ShearFlows.laplacian line 172
  46. def OAI.ShearFlows.advection line 175
  47. def OAI.ShearFlows.gradient line 178
  48. def OAI.ShearFlows.HasZeroMean line 181
  49. def OAI.ShearFlows.Solenoidal line 185
  50. def OAI.ShearFlows.ZeroAdvection line 188
  51. def OAI.ShearFlows.timeDerivative line 191
  52. def OAI.ShearFlows.force line 194
  53. def OAI.ShearFlows.spaceTimeDirection line 197
  54. def OAI.ShearFlows.mixedDerivative line 200
  55. def OAI.ShearFlows.BoundedMixedDerivatives line 204
  56. def OAI.ShearFlows.rationalPoint line 207
  57. def OAI.ShearFlows.errorTolerance line 210
  58. def OAI.ShearFlows.ComputableReal line 212
  59. structure OAI.ShearFlows.Schedule line 216
  60. structure OAI.ShearFlows.IsMaterialFlow line 228
  61. def OAI.ShearFlows.sourceTube line 236
  62. def OAI.ShearFlows.scaledOffset line 239
  63. structure OAI.ShearFlows.StageMotion line 243
  64. def OAI.ShearFlows.initialTimeDerivative line 261
  65. def OAI.ShearFlows.timeCylinder line 264
  66. structure OAI.ShearFlows.ClassicalRegularity line 266
  67. structure OAI.ShearFlows.IsClassicalSolution line 283
  68. def OAI.ShearFlows.kineticEnergy line 295