Develop the representations, i.e. ways to sum nonnegative integers to reach a given nonnegative integer
Develop the representations, i.e. ways to sum nonnegative integers to reach a given nonnegative integer

metamath/set.mm,metamath/set.mm,metamath/set.mm