OAI/Probability/SKValue/Evolution/DerivativeLimit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.second_order_remainder line 11
2. lemma OAI.SKValue.derivative_difference_of_values line 35
3. lemma OAI.SKValue.uniform_derivative_limit line 55
4. lemma OAI.SKValue.contDiff_infty_iteratedDeriv line 101
5. lemma OAI.SKValue.uniform_all_derivative_limits line 109