Theorem Subsemigroup.prod_top

Modification history