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

Idea

Unlabeled partitions are Ferrers diagrams.

Recent changes

• 2023-03-21. Fredrik Bakke. Formatting fixes (#530).
• 2023-03-13. Jonathan Prieto-Cubides. More maintenance (#506).
• 2023-03-09. Jonathan Prieto-Cubides. Add hooks (#495).
• 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
• 2023-02-18. Fredrik Bakke. .md-references (#456).