OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Motion.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.BalancedTransport.Geometry.BoxLayout line 11
  2. def OAI.BalancedTransport.Geometry.BoxLayout.Positive line 24
  3. def OAI.BalancedTransport.Geometry.BoxLayout.Separated line 26
  4. def OAI.BalancedTransport.Geometry.BoxLayout.Guarded line 29
  5. structure OAI.BalancedTransport.Geometry.BoxMotion line 41
  6. lemma OAI.BalancedTransport.Geometry.BoxMotion.positive_start line 65
  7. lemma OAI.BalancedTransport.Geometry.BoxMotion.positive_end line 69
  8. lemma OAI.BalancedTransport.Geometry.BoxMotion.volume_end line 73
  9. def OAI.BalancedTransport.Geometry.BoxMotion.stationary line 77
  10. def OAI.BalancedTransport.Geometry.BoxMotion.joinedCenter line 92
  11. def OAI.BalancedTransport.Geometry.BoxMotion.joinedWidth line 95
  12. lemma OAI.BalancedTransport.Geometry.BoxMotion.joined_left line 99
  13. lemma OAI.BalancedTransport.Geometry.BoxMotion.joined_right line 109
  14. def OAI.BalancedTransport.Geometry.BoxMotion.trans line 119
  15. def OAI.BalancedTransport.Geometry.BoxMotion.reverse line 168
  16. def OAI.BalancedTransport.Geometry.segmentLayout line 191
  17. lemma OAI.BalancedTransport.Geometry.segmentLayout_start line 195
  18. lemma OAI.BalancedTransport.Geometry.segmentLayout_end line 199
  19. def OAI.BalancedTransport.Geometry.segmentMotion line 202
  20. lemma OAI.BalancedTransport.Geometry.segment_guard line 227