OAI/Probability/SKValue/Equations/ThirdOrderRemainderBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.third_order_remainder_bound line 14
2. lemma OAI.SKValue.gradient_generator_quadrature line 51
3. lemma OAI.SKValue.euler_cubic_remainder line 105
4. lemma OAI.SKValue.gradient_euler_one_step line 168