Title: Sperner's theorem on maximal-sized antichains and its generation
Subjects: Set theory, Combinatorial analysis, Divisibility of Numbers