OAI/MathematicalPhysics/NavierStokes/BalancedTransport/TemporalJets.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Geometry.timeGerm_fullTimeD line 13
  2. lemma OAI.BalancedTransport.Geometry.timeGerm_spaceD line 20
  3. lemma OAI.BalancedTransport.Geometry.timeGerm_fullMixedD line 27
  4. lemma OAI.BalancedTransport.Geometry.timeGerm_fullInertial line 35
  5. lemma OAI.BalancedTransport.Geometry.timeGerm_viscous line 44
  6. lemma OAI.BalancedTransport.Geometry.fullTimeD_translate line 53
  7. lemma OAI.BalancedTransport.Geometry.fullMixedD_translate line 58
  8. lemma OAI.BalancedTransport.Geometry.fullInertial_translate line 66
  9. lemma OAI.BalancedTransport.Geometry.viscous_translate line 71
  10. lemma OAI.BalancedTransport.Geometry.loadedRepeat_before_open line 74
  11. lemma OAI.BalancedTransport.Geometry.loadedRepeat_after_open line 87
  12. lemma OAI.BalancedTransport.Geometry.loadedRepeat_germ_before line 98
  13. lemma OAI.BalancedTransport.Geometry.loadedRepeat_germ_after line 103
  14. lemma OAI.BalancedTransport.Effectivity.ElementaryField.convection line 123
  15. lemma OAI.BalancedTransport.Effectivity.ElementaryField.fullInertial line 131
  16. lemma OAI.BalancedTransport.Effectivity.ElementaryField.viscous line 135