OAI/MathematicalPhysics/NavierStokes/BalancedTransport/NumericDifferentiation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BalancedTransport.Effectivity.NumericOp.differential line 9
2. lemma OAI.BalancedTransport.Effectivity.NumericOp.hasDerivAt line 23
3. def OAI.BalancedTransport.Effectivity.NumericOp.dualCase line 44
4. def OAI.BalancedTransport.Effectivity.NumericOp.dual line 60
5. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_drop line 62
6. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_value line 67
7. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_differential line 74
8. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_valid line 88
9. lemma OAI.BalancedTransport.Effectivity.NumericOp.differentiableAt line 97