OAI/Dynamics/EntropyCounterexample/MapInfinity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.rawMap_eq_rawUpdate line 10
2. theorem OAI.Problem340.Construction.concreteMap_infinity_semiconj line 17
3. theorem OAI.Problem340.Construction.concreteMap_mapsTo_infinitySet line 22
4. theorem OAI.Problem340.Construction.concreteMap_periodic_on_infinitySet line 27
5. theorem OAI.Problem340.Construction.coverEntropy_concreteInfinity_image line 34