Ordinal_Partitions.Library_Additions