Ontify
Theorem in homotopy theory that a Stein manifold of complex dimension 𝑛 admits a Morse function with critical points of index at most 𝑛 and hence homotopy-equivalent to a CW-complex of real dimension at most 𝑛.