OAI/Dynamics/EntropyCounterexample/C1Conjugacy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.HasLocalC1Extension.comp line 10
2. theorem OAI.Problem340.HasLocalC1Extension.conjugateMap line 33
3. theorem OAI.Problem340.isC1SelfMap_conjugateMap_of_embeddings line 44