Unlabeled partitions

Content created by Fredrik Bakke, Jonathan Prieto-Cubides and Egbert Rijke.

Created on 2022-06-20.
Last modified on 2023-03-21.

module univalent-combinatorics.unlabeled-partitions where
Imports

Idea

Unlabeled partitions are Ferrers diagrams.

Recent changes