Theorem Subsemigroup.srange_fst

Modification history