Morse–Bott–Thom theorem

GPTKB entity