Source: wikibot/heine-borel-theorem

= Heine–Borel theorem
{wiki=Heine–Borel_theorem}