H-Cobordism Theorem
From ProofWiki
Theorem
Let $X^n, Y^n$ be two simply connected manifolds.
Let $n \in \N: n \ge 5$ and $\exists W$ such that W is an h-cobordism between $X$ and $Y$.
Then $\exists \psi: W \to X \times \left[{0\,.\,.\,1}\right]$ such that $\psi$ is a diffeomorphism.
In particular, X and Y are diffemorphic.
Proof
In progress
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
