OAI/MathematicalPhysics/NavierStokes/BalancedTransport/MotionField.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Geometry.BoxLayout.solid line 12
  2. lemma OAI.BalancedTransport.Geometry.BoxLayout.mem_solid line 16
  3. def OAI.BalancedTransport.Geometry.BoxLayout.affineMap line 21
  4. def OAI.BalancedTransport.Geometry.BoxMotion.fieldCenter line 34
  5. def OAI.BalancedTransport.Geometry.BoxMotion.fieldScale line 37
  6. def OAI.BalancedTransport.Geometry.BoxMotion.velocity line 40
  7. def OAI.BalancedTransport.Geometry.BoxMotion.path line 43
  8. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldCenter_smooth line 46
  9. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldScale_smooth line 50
  10. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldScale_pos line 57
  11. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldScale_det line 60
  12. lemma OAI.BalancedTransport.Geometry.BoxMotion.velocity_jointSmooth line 65
  13. lemma OAI.BalancedTransport.Geometry.BoxMotion.velocity_divergence line 69
  14. lemma OAI.BalancedTransport.Geometry.BoxMotion.lowerEndpoint_eq line 74
  15. lemma OAI.BalancedTransport.Geometry.BoxMotion.upperEndpoint_eq line 82
  16. lemma OAI.BalancedTransport.Geometry.BoxMotion.enlarged_disjoint line 89
  17. lemma OAI.BalancedTransport.Geometry.BoxMotion.path_start line 109
  18. lemma OAI.BalancedTransport.Geometry.BoxMotion.path_end line 117
  19. lemma OAI.BalancedTransport.Geometry.BoxMotion.reference_mem line 126
  20. lemma OAI.BalancedTransport.Geometry.BoxMotion.path_hasDerivAt line 131
  21. lemma OAI.BalancedTransport.Geometry.BoxMotion.path_guarded line 141
  22. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldCenter_before line 160
  23. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldScale_before line 165
  24. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldCenter_after line 171
  25. lemma OAI.BalancedTransport.Geometry.BoxMotion.fieldScale_after line 176
  26. lemma OAI.BalancedTransport.Geometry.BoxMotion.velocity_collars line 181
  27. lemma OAI.BalancedTransport.Geometry.BoxMotion.bounded_geometry line 204
  28. lemma OAI.BalancedTransport.Geometry.BoxMotion.velocity_compact_support line 231