Theorem IsSubmonoid.list_prod_mem

Modification history