Producto cartesiano de una familia de conjuntos

Definir la función

tal que (producto xss) es el producto cartesiano de los conjuntos xss. Por ejemplo,

Comprobar con QuickCheck que para toda lista de listas de números enteros, xss, se verifica que el número de elementos de (producto xss) es igual al producto de los números de elementos de cada una de las listas de xss.

Soluciones

El código se encuentra en GitHub.

La elaboración de las soluciones se describe en el siguiente vídeo