Theorem Subsemigroup.map_iSup

Modification history