s-Cobordism theorem

  1. REDIRECT h-cobordism