Source: wikibot/compactness-theorem

= Compactness theorem
{wiki=Compactness_theorem}