Size of a type class

ID: size-of-a-type-class

Write . Arranging copies of each symbol gives the multinomial coefficient
The division by the factorials removes permutations among identical copies. In the balanced four-symbol example, . For binary symbols this becomes the binomial coefficient ; for three symbols with counts , the class contains strings.

New to topics? Read the docs here!