OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Periodic.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Geometry.TimeCollars line 11
  2. def OAI.BalancedTransport.Geometry.repeatTemplate line 14
  3. lemma OAI.BalancedTransport.Geometry.repeatTemplate_eq line 17
  4. lemma OAI.BalancedTransport.Geometry.repeatTemplate_zero_period line 34
  5. lemma OAI.BalancedTransport.Geometry.repeatTemplate_on_unit line 41
  6. lemma OAI.BalancedTransport.Geometry.repeatTemplate_jointSmooth line 46
  7. lemma OAI.BalancedTransport.Geometry.repeatTemplate_supported line 63
  8. lemma OAI.BalancedTransport.Geometry.repeatTemplate_divergence line 68
  9. def OAI.BalancedTransport.Geometry.afterLoadingGate line 79
  10. def OAI.BalancedTransport.Geometry.loadedRepeat line 81
  11. lemma OAI.BalancedTransport.Geometry.loadedRepeat_jointSmooth line 84
  12. lemma OAI.BalancedTransport.Geometry.loadedRepeat_before line 91
  13. lemma OAI.BalancedTransport.Geometry.loadedRepeat_after line 103
  14. lemma OAI.BalancedTransport.Geometry.loadedRepeat_support line 109
  15. lemma OAI.BalancedTransport.Geometry.loadedRepeat_repeats line 117
  16. lemma OAI.BalancedTransport.Geometry.div_add line 123
  17. lemma OAI.BalancedTransport.Geometry.div_time_smul line 129
  18. lemma OAI.BalancedTransport.Geometry.loadedRepeat_divergence line 134
  19. theorem OAI.BalancedTransport.Geometry.loaded_template_realization line 147