Theorem Subsemigroup.srange_snd

Modification history