OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ElementaryCalculus.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.Elementary.congr line 9
  2. lemma OAI.BalancedTransport.Effectivity.ElementaryCurve.deriv line 19
  3. def OAI.BalancedTransport.Effectivity.fieldArgs line 43
  4. def OAI.BalancedTransport.Effectivity.fieldParam line 46
  5. def OAI.BalancedTransport.Effectivity.fieldTime line 48
  6. def OAI.BalancedTransport.Effectivity.fieldSpace line 50
  7. lemma OAI.BalancedTransport.Effectivity.fieldParam_args line 52
  8. lemma OAI.BalancedTransport.Effectivity.fieldTime_args line 55
  9. lemma OAI.BalancedTransport.Effectivity.fieldSpace_args line 58
  10. lemma OAI.BalancedTransport.Effectivity.fieldArgs_parts line 61
  11. def OAI.BalancedTransport.Effectivity.ElementaryScalar line 72
  12. def OAI.BalancedTransport.Effectivity.ElementaryField line 75
  13. lemma OAI.BalancedTransport.Effectivity.fieldArgs_time_hasDerivAt line 78
  14. lemma OAI.BalancedTransport.Effectivity.fieldArgs_space_hasFDerivAt line 95
  15. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.fullTimeD line 118
  16. lemma OAI.BalancedTransport.Effectivity.ElementaryScalar.spaceD line 126