X-Nico

unusual facts about Sperner property of a partially ordered set