Source: wikibot/jensen-s-covering-theorem

= Jensen's covering theorem
{wiki=Jensen's_covering_theorem}