OAI/Dynamics/EntropyCounterexample/ClockCharts.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem340.complexClockLinearIsometry line 10
  2. theorem OAI.Problem340.complexClockLinearIsometry_apply line 14
  3. def OAI.Problem340.circleClockHomeomorph line 17
  4. theorem OAI.Problem340.circleClockHomeomorph_coe line 25
  5. def OAI.Problem340.clockHomeomorph line 28
  6. theorem OAI.Problem340.clockHomeomorph_apply line 33
  7. def OAI.Problem340.clockParam line 37
  8. theorem OAI.Problem340.clockHomeomorph_coe line 41
  9. theorem OAI.Problem340.contDiff_clockParam line 46
  10. theorem OAI.Problem340.clockParam_periodic line 52
  11. def OAI.Problem340.ambientClockRotate line 58
  12. theorem OAI.Problem340.contDiff_ambientClockRotate line 63
  13. def OAI.Problem340.clockRotate line 72
  14. theorem OAI.Problem340.clockHomeomorph_add line 82