OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ElementaryMotion.lean

GitHub source file

33 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Effectivity.RationalConstant line 9
  2. lemma OAI.BalancedTransport.Effectivity.RationalConstant.rat line 18
  3. lemma OAI.BalancedTransport.Effectivity.RationalConstant.nat line 20
  4. lemma OAI.BalancedTransport.Effectivity.RationalConstant.zero line 22
  5. lemma OAI.BalancedTransport.Effectivity.RationalConstant.one line 24
  6. lemma OAI.BalancedTransport.Effectivity.RationalConstant.add line 26
  7. lemma OAI.BalancedTransport.Effectivity.RationalConstant.sub line 30
  8. lemma OAI.BalancedTransport.Effectivity.RationalConstant.mul line 34
  9. lemma OAI.BalancedTransport.Effectivity.RationalConstant.elementary line 38
  10. def OAI.BalancedTransport.Effectivity.RationalCenters line 49
  11. def OAI.BalancedTransport.Effectivity.RationalLayout line 51
  12. def OAI.BalancedTransport.Effectivity.ElementaryCurve line 53
  13. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.const line 62
  14. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.id line 64
  15. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.add line 66
  16. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.sub line 69
  17. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.mul line 72
  18. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.div_const line 75
  19. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.exp line 79
  20. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.comp line 81
  21. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.transition line 84
  22. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.log line 86
  23. def OAI.BalancedTransport.Effectivity.ElementaryMotion line 98
  24. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.stationary line 112
  25. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.trans line 116
  26. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.reverse line 126
  27. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.segment line 131
  28. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.expansion line 142
  29. lemma OAI.BalancedTransport.Effectivity.ElementaryMotion.reshape line 149
  30. lemma OAI.BalancedTransport.Effectivity.RationalCenters.update line 172
  31. lemma OAI.BalancedTransport.Effectivity.rational_space_update line 179
  32. lemma OAI.BalancedTransport.Effectivity.rational_remaining line 187
  33. lemma OAI.BalancedTransport.Effectivity.elementary_singleSegment line 194