Dividing Distinct Objects into Unlabeled Groups of Equal Size

To split distinct objects into unlabeled groups, start from the labeled multinomial count, then divide by j! for every block of j same-size groups — because permuting equal-size groups gives the same partition.