E-dense semigroup

ID: e-dense-semigroup

New to topics? Read the docs here!