 Oka coherence theorem

The Oka coherence theorem is a result in complex analysis and several complex variables, particularly in the field of Oka theory. Named after Shinsuke Oka, this theorem deals with the properties of holomorphic functions and their extensions in certain types of domains.