Source: wikibot/oka-coherence-theorem

= Oka coherence theorem
{wiki=Oka_coherence_theorem}