El h-cobordism teorema es verdadero en la topológico y en el desarrollo de la categoría, en dimensiones $\ge 6$. (Por dimensión", me refiero a la dimensión del ambiente cobordism en lugar de la dimensión de la frontera, como lo es en esta wikipedia-link)
El buen caso de la dimensión de $\ge 6$ fue probada por primera vez por Smale alrededor de 1962 (por ejemplo, S. Smale, "Sobre la estructura de los colectores" Amer. J. Math., 84 (1962) pp 387-399), pero que hizo la topológico caso de la dimensión de $\ge 6$ primero y me puede dar una referencia?
