OAI/Probability/SKBarriers/Calculus/ParameterProducts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.parameterDerivative_mul line 19
2. theorem OAI.SK.Analytic.parameterDerivative_exp_neg line 29
3. theorem OAI.SK.Analytic.parameterDerivative2_exp_neg line 40
4. def OAI.SK.Analytic.tiltedPotential line 62
5. theorem OAI.SK.Analytic.contDiff_tiltedPotential line 66
6. theorem OAI.SK.Analytic.parameterDerivative_tiltedPotential line 72
7. theorem OAI.SK.Analytic.parameterDerivative2_tiltedPotential line 91