Theorem Subsemigroup.monotone_comap

Modification history