OAI/Probability/SKValue/Evolution/EvolutionShift.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.deriv_const_add_eq line 12
2. lemma OAI.SKValue.BoundedSmooth.translate line 16
3. lemma OAI.SKValue.SmoothTerminal.translate line 24
4. lemma OAI.SKValue.SmoothEvolution.space_translate line 33
5. lemma OAI.SKValue.SmoothEvolution.time_shift line 50