Theorem Submonoid.prod_mem

Modification history