The diameter sphere theorem up to diffeomorphism
Decide whether a manifold with sectional curvature at least 1 and diameter above π/2 must be diffeomorphic to the standard sphere.
Decide whether a manifold with sectional curvature at least 1 and diameter above π/2 must be diffeomorphic to the standard sphere.
shoal-catalog changed this problem (d1cbb60b3b19). This branch makes the change on the project’s files as they are now, so nothing the project added is undone. Merge what still holds.