3x + 1 semigroup

ID: 3x-plus-1-semigroup

New to topics? Read the docs here!