Theorem Submonoid.list_prod_mem

Modification history