Source: wikibot/hartogs-number

= Hartogs number
{wiki=Hartogs_number}