OAI/Dynamics/EntropyCounterexample/MapFinalReduction.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.concreteEntropy_eq_zero line 14
2. theorem OAI.Problem340.Construction.homologyEigenvalueRadii_eq_iUnion line 19
3. theorem OAI.Problem340.Construction.bddAbove_normalForm_of_rawBase line 24
4. theorem OAI.Problem340.Construction.exists_C1_zero_entropy_nonbijective_realizedMap line 34
5. theorem OAI.Problem340.Construction.exists_counterexample_of_sphere_and_base_homology line 42