OAI/MathematicalPhysics/NavierStokes/ShearFlows/Velocity.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShearFlows.transverseSum_smooth line 14
  2. theorem OAI.ShearFlows.sevenFields_smooth line 22
  3. def OAI.ShearFlows.CubePeriodic line 46
  4. theorem OAI.ShearFlows.circle_periodic_mul_int line 49
  5. theorem OAI.ShearFlows.selectTwo_apply line 53
  6. theorem OAI.ShearFlows.selectTwo_zero_one line 57
  7. theorem OAI.ShearFlows.sevenFields_periodic line 60
  8. theorem OAI.ShearFlows.height_profile_mean_zero line 91
  9. theorem OAI.ShearFlows.height_only_mean_zero line 100
  10. theorem OAI.ShearFlows.transverseSum_mean_zero line 105
  11. theorem OAI.ShearFlows.sevenFields_mean_zero line 116
  12. def OAI.ShearFlows.Input.spatialFields line 166
  13. def OAI.ShearFlows.Input.realizingVelocity line 173
  14. theorem OAI.ShearFlows.spatialFields_smooth line 177
  15. theorem OAI.ShearFlows.spatialFields_periodic line 183
  16. theorem OAI.ShearFlows.spatialFields_divergence_advection line 191
  17. theorem OAI.ShearFlows.spatialFields_mean_zero line 200
  18. theorem OAI.ShearFlows.realizingVelocity_smooth line 212
  19. theorem OAI.ShearFlows.realizingVelocity_spatially_periodic line 216
  20. theorem OAI.ShearFlows.realizingVelocity_time_periodic line 224
  21. theorem OAI.ShearFlows.realizingVelocity_divergence_advection line 231
  22. theorem OAI.ShearFlows.realizingVelocity_mean_zero line 238
  23. theorem OAI.ShearFlows.realizingVelocity_vanish_near_integers line 243
  24. theorem OAI.ShearFlows.realizingVelocity_gaps line 247
  25. theorem OAI.ShearFlows.realizingVelocity_empty line 256