OAI/Dynamics/EntropyCounterexample/SphereDoublingCharts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem340.doubling_north_eq_chartNorthPole line 12
2. lemma OAI.Problem340.stereoCoordinate_sphereOfComplex line 17
3. lemma OAI.Problem340.stereoCoordinate_eq_sphereToComplex line 35
4. lemma OAI.Problem340.sphereDoubling_sphereOfComplex line 40
5. lemma OAI.Problem340.sphereDoubling_complexSphereHomeomorph line 53
6. lemma OAI.Problem340.sphereDoubling_conjugate line 62
7. lemma OAI.Problem340.continuous_onePointSquare line 69