Theorem Subsemigroup.map_equiv_top

Modification history