OAI/Dynamics/EntropyCounterexample/TranslationDerivative.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.TranslationDerivative.fderiv_add_eq line 15
2. theorem OAI.Problem340.TranslationDerivative.differentiableAt_add_iff line 22
3. theorem OAI.Problem340.TranslationDerivative.iterate_add_eq line 29
4. theorem OAI.Problem340.TranslationDerivative.fderiv_iterate_add_eq line 37
5. theorem OAI.Problem340.TranslationDerivative.fderiv_readout_add_eq line 42
6. theorem OAI.Problem340.TranslationDerivative.fderiv_zsmul_add_eq line 51
7. def OAI.Problem340.TranslationDerivative.clockSkew line 62
8. theorem OAI.Problem340.TranslationDerivative.clockSkew_add_eq line 66
9. theorem OAI.Problem340.TranslationDerivative.clockSkew_fderiv_iterate_periodic line 74
10. theorem OAI.Problem340.TranslationDerivative.clockPrediction_fderiv_periodic line 82