OAI/Dynamics/EntropyCounterexample/TranslationC1.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.TranslationC1.HasLocalExtension line 10
2. def OAI.Problem340.TranslationC1.translateCoordinate line 19
3. theorem OAI.Problem340.TranslationC1.isC1SelfMap_translateCoordinate line 26
4. theorem OAI.Problem340.TranslationC1.hasLocalExtension_of_contDiff line 91
5. theorem OAI.Problem340.TranslationC1.isC1SelfMap_translateCoordinate_of_contDiff line 98