Theorem Subsemigroup.le_prod_iff

Modification history