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