OAI/Dynamics/EntropyCounterexample/ClockAtInfinity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem340.ClockAtInfinity.Clock line 10
2. def OAI.Problem340.ClockAtInfinity.step line 12
3. theorem OAI.Problem340.ClockAtInfinity.continuous_step line 15
4. theorem OAI.Problem340.ClockAtInfinity.step_period line 18
5. theorem OAI.Problem340.ClockAtInfinity.coverEntropy_step line 27
6. theorem OAI.Problem340.ClockAtInfinity.coverEntropy_clockImage line 31