Oka coherence theorem
In mathematics, specifically algebraic geometry, the Oka coherence theorem, proved by Kiyoshi Oka in 1950, states that the sheaf of holomorphic functions on (and subsequently the sheaf of holomorphic functions on a complex manifold ) is coherent.