In mathematics, the Andreotti–Frankel theorem, introduced by Andreotti and Frankel (1959), states that if is a smooth affine variety of complex dimension or, more generally, if is any Stein manifold of dimension , then in fact is homotopy equivalent to a CW complex of real dimension at most n. In other words has only half as much topology.