OAI/Probability/SKValue/Evolution/EvolutionDifferentiation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.SmoothEvolution.jet_joint_continuousOn line 14
2. lemma OAI.SKValue.SmoothEvolution.jet_joint_continuousAt line 31
3. lemma OAI.SKValue.SmoothEvolution.gradient_time_hasDerivAt line 37
4. lemma OAI.SKValue.SmoothEvolution.gradient_curve_hasDerivAt line 69
5. lemma OAI.SKValue.sqrt_difference_bound line 93
6. lemma OAI.SKValue.SmoothEvolution.heat_gradient_derivative_integral line 109