OAI/Geometry/SingularHomology/MapRealizedHomology.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.continuous_realizedMap_actual line 12
2. theorem OAI.Problem340.Construction.realizedMap_eigenvector_of_sphere line 16
3. theorem OAI.Problem340.Construction.totalRealHomologySpectralRadius_realizedMap_eq_normalForm line 25
4. theorem OAI.Problem340.Construction.homologyEigenvalueRadii_concreteMap_eq_normalForm line 34
5. theorem OAI.Problem340.Construction.log_two_le_realizedMap_radius_of_sphere line 40
6. theorem OAI.Problem340.Construction.exists_counterexample_of_concrete_obligations line 56