module univalent-combinatorics.unlabeled-partitions where
Unlabeled partitions are Ferrers diagrams.