Manifolds cross a circle (Ex)
From Manifold Atlas
Suppose that and are closed smooth simply-connected -manifolds, , and that there is a diffeomorphism
Show that and are diffeomorphic.
If and are not simply-connected, what condition would you place on the fundamental group to obtain a similar theoroem?