Source: wikibot/woodin-cardinal

= Woodin cardinal
{wiki=Woodin_cardinal}