Theorem list_prod_mem

Modification history