minus

BijectedGroup

monoid

BijectedMonoid

monoidBijection

AlgebirdBijections