RGFs

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

DetailsDetails