RGFs

RGFs[n]
lists all restricted growth functions on the first n natural numbers in lexicographic order.

DetailsDetails