OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Loading.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Geometry.loadingSwitch line 10
  2. lemma OAI.BalancedTransport.Geometry.loadingSwitch_contDiff line 12
  3. lemma OAI.BalancedTransport.Geometry.loadingSwitch_nonneg line 16
  4. lemma OAI.BalancedTransport.Geometry.loadingSwitch_le_one line 19
  5. lemma OAI.BalancedTransport.Geometry.loadingSwitch_zero line 22
  6. lemma OAI.BalancedTransport.Geometry.loadingSwitch_one line 25
  7. def OAI.BalancedTransport.Geometry.loadingCenter line 28
  8. def OAI.BalancedTransport.Geometry.loadingVelocity line 30
  9. def OAI.BalancedTransport.Geometry.loadingPath line 33
  10. lemma OAI.BalancedTransport.Geometry.loadingCenter_contDiff line 36
  11. lemma OAI.BalancedTransport.Geometry.loadingVelocity_jointSmooth line 39
  12. lemma OAI.BalancedTransport.Geometry.loadingVelocity_divergence line 44
  13. lemma OAI.BalancedTransport.Geometry.loadingCenter_deriv_zero line 49
  14. lemma OAI.BalancedTransport.Geometry.loadingVelocity_zero line 61
  15. lemma OAI.BalancedTransport.Geometry.loadingPath_hasDerivAt line 65
  16. lemma OAI.BalancedTransport.Geometry.loadingPath_eq line 70
  17. lemma OAI.BalancedTransport.Geometry.loadingPath_start line 75
  18. lemma OAI.BalancedTransport.Geometry.loadingPath_end line 80
  19. lemma OAI.BalancedTransport.Geometry.loadingPath_between line 85
  20. def OAI.BalancedTransport.Geometry.loadingSupport line 99
  21. lemma OAI.BalancedTransport.Geometry.loadingSupport_compact line 103
  22. lemma OAI.BalancedTransport.Geometry.loadingVelocity_supported line 106
  23. lemma OAI.BalancedTransport.Geometry.loadingVelocity_repeats line 122
  24. lemma OAI.BalancedTransport.Geometry.loadingVelocity_boundedMixed line 127
  25. theorem OAI.BalancedTransport.Geometry.loadingPath_avoids_observer line 133
  26. theorem OAI.BalancedTransport.Geometry.loading_realization line 142