Theorem Subsemigroup.mem_prod

Modification history