OAI/Dynamics/EntropyCounterexample/TopologicalAttraction.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.TopologicalAttraction.tendsto_fst_fiber line 14
2. theorem OAI.Problem340.TopologicalAttraction.tendsto_snd_fiber line 26
3. theorem OAI.Problem340.TopologicalAttraction.tendsto_fixed_clock_main line 38
4. theorem OAI.Problem340.TopologicalAttraction.tendsto_fixed_main_registers line 57
5. theorem OAI.Problem340.TopologicalAttraction.tendsto_two_attractors line 64
6. theorem OAI.Problem340.TopologicalAttraction.tendsto_image line 75
7. theorem OAI.Problem340.TopologicalAttraction.tendsto_infDist line 80
8. theorem OAI.Problem340.TopologicalAttraction.tendsto_infDist_image line 86