OAI/Probability/SKValue/Evolution/LogCoshTerminal.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKValue.logCoshTerminal line 13
2. lemma OAI.SKValue.logCoshTerminal_smooth line 15
3. lemma OAI.SKValue.logCoshTerminal_hasDerivAt line 22
4. lemma OAI.SKValue.tanh_scaled_hasDerivAt line 31
5. def OAI.SKValue.JetExpr.fieldJet line 42
6. lemma OAI.SKValue.JetExpr.iteratedDeriv_fieldJet line 46
7. lemma OAI.SKValue.logCoshTerminal_jets line 58
8. lemma OAI.SKValue.logCoshTerminal_smoothTerminal line 76
9. lemma OAI.SKValue.logCoshTerminal_even line 85
10. lemma OAI.SKValue.log_two_cosh_bounds line 88
11. lemma OAI.SKValue.logCoshTerminal_uniform_error line 108