Sperner property (source code)

= Sperner property
{c}