Theorem Submonoid.multiset_noncomm_prod_mem

Modification history