Theorem Subsemigroup.monotone_map

Modification history