semigroupBijection

AlgebirdBijections

sg

BijectedSemigroup

sumOption

BijectedSemigroup