s-cobordism theorem

  1. REDIRECT h-cobordism