OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ElementaryFields.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.literal line 11
  2. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.rational line 13
  3. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.add line 15
  4. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.mul line 17
  5. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.sub line 19
  6. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.neg line 21
  7. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.div_rat line 23
  8. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.div_const line 25
  9. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.inv line 28
  10. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.exp line 31
  11. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.transition line 33
  12. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.time line 35
  13. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.space line 37
  14. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.parameter line 39
  15. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.curve line 41
  16. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.sum line 45
  17. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.prod line 49
  18. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.congr line 53
  19. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.time_differentiable line 56
  20. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.space_differentiable line 63
  21. lemma OAI.BalancedTransport.Effectivity.ElementaryField.fullTimeD line 78
  22. lemma OAI.BalancedTransport.Effectivity.ElementaryField.spaceD line 84
  23. lemma OAI.BalancedTransport.Effectivity.ElementaryField.curl line 91
  24. lemma OAI.BalancedTransport.Effectivity.ElementaryField.sum line 98
  25. lemma OAI.BalancedTransport.Effectivity.ElementaryField.fullMixedD line 103
  26. lemma OAI.BalancedTransport.Effectivity.elementary_boxCutoff line 118
  27. lemma OAI.BalancedTransport.Effectivity.elementary_affinePotential line 128
  28. lemma OAI.BalancedTransport.Effectivity.elementary_movingBoxVelocity line 142
  29. lemma OAI.BalancedTransport.Effectivity.elementary_loadingVelocity line 160