Theorem Subsemigroup.range_subtype

Modification history