Topological generalized Poincare theorem (source code)

= Topological generalized Poincare theorem
{title2=$M^d\simeq S^d\ \Longrightarrow\ M^d\cong S^d$}

Every closed <topological manifold> with the <homotopy type> of $S^d$ is homeomorphic to $S^d$. This is a classification theorem about <homeomorphisms>, and does not assert a <diffeomorphism> between prescribed smooth structures. It is the precise final step needed after proving that a cone link is a <simply connected> <integral homology sphere> in the <manifold criterion for a suspension>.