OAI/Dynamics/EntropyCounterexample/C1CoordinatePullback.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.HasLocalC1Extension.precomp_ambient line 11
2. theorem OAI.Problem340.HasLocalC1Extension.clock_coordinate line 32
3. theorem OAI.Problem340.HasLocalC1Extension.sphere_coordinate line 40
4. theorem OAI.Problem340.hasLocalC1Extension_clock_coordinate line 51
5. theorem OAI.Problem340.hasLocalC1Extension_clock_update line 57
6. theorem OAI.Problem340.hasLocalC1Extension_manifold_clock_lift line 65