The smooth 4-dimensional s-cobordism theorem

GPTKB entity