Source: wikibot/buchholz-s-ordinal

= Buchholz's ordinal
{wiki=Buchholz's_ordinal}