Source: wikibot/dedekind-number

= Dedekind number
{wiki=Dedekind_number}