This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Unlabeled partitions

module univalent-combinatorics.unlabeled-partitions where

Idea

Unlabeled partitions are Ferrers diagrams.