OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Elementary.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BalancedTransport.Effectivity.Elementary line 8
2. lemma OAI.BalancedTransport.Effectivity.Elementary.literal line 18
3. lemma OAI.BalancedTransport.Effectivity.Elementary.coordinate line 22
4. lemma OAI.BalancedTransport.Effectivity.Elementary.add line 27
5. lemma OAI.BalancedTransport.Effectivity.Elementary.mul line 35
6. lemma OAI.BalancedTransport.Effectivity.Elementary.neg line 43
7. lemma OAI.BalancedTransport.Effectivity.Elementary.sub line 52
8. lemma OAI.BalancedTransport.Effectivity.Elementary.inv line 55
9. lemma OAI.BalancedTransport.Effectivity.Elementary.exp line 65
10. lemma OAI.BalancedTransport.Effectivity.Elementary.rho line 74
11. lemma OAI.BalancedTransport.Effectivity.Elementary.logLiteral line 85
12. lemma OAI.BalancedTransport.Effectivity.Elementary.log_rat line 90
13. lemma OAI.BalancedTransport.Effectivity.Elementary.differentiable line 93
14. lemma OAI.BalancedTransport.Effectivity.Elementary.coordinateDerivative line 97
15. lemma OAI.BalancedTransport.Effectivity.Elementary.sum line 107
16. lemma OAI.BalancedTransport.Effectivity.Elementary.prod line 116
17. lemma OAI.BalancedTransport.Effectivity.Elementary.zero line 132
18. lemma OAI.BalancedTransport.Effectivity.Elementary.one line 134
19. lemma OAI.BalancedTransport.Effectivity.Elementary.const_nat line 136
20. lemma OAI.BalancedTransport.Effectivity.Elementary.div_rat line 139
21. lemma OAI.BalancedTransport.Effectivity.Elementary.operation line 143
22. lemma OAI.BalancedTransport.Effectivity.Elementary.program_registers line 161
23. lemma OAI.BalancedTransport.Effectivity.Elementary.comp line 177
24. lemma OAI.BalancedTransport.Effectivity.Elementary.smoothTransition line 184