Oka coherence theorem

In mathematics, the Oka coherence theorem, proved by Kiyoshi Oka (1950), states that the sheaf of holomorphic functions over a complex manifold is coherent.