Source: /wikibot/sperner-s-theorem

= Sperner's theorem
{wiki=Sperner's_theorem}