Simply-connected manifold pair (W; M, M') of dim ≥ 6 with inclusions htpy eqs is diffeomorphic to M × [0,1]. Smale 1961 (Fields); Poincaré conj dim ≥ 5.
Simply-connected manifold pair (W; M, M') of dim ≥ 6 with inclusions htpy eqs is diffeomorphic to M × [0,1]. Smale 1961 (Fields); Poincaré conj dim ≥ 5.