OAI/Dynamics/EntropyCounterexample/CylinderModels.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.clockMainCylinderHomeomorph line 13
2. def OAI.Problem340.sphereVectorCylinderHomeomorph line 38
3. theorem OAI.Problem340.clockMainCylinder_semiconj line 50
4. theorem OAI.Problem340.sphereVectorCylinder_semiconj line 61
5. theorem OAI.Problem340.coverEntropy_univ_eq_of_compact_homeomorph line 76
6. theorem OAI.Problem340.coverEntropy_clockMainCylinder line 96
7. theorem OAI.Problem340.coverEntropy_sphereVectorCylinder line 113
8. theorem OAI.Problem340.coverEntropy_attractor_union_eq_zero line 128