@hackage groups0.5.2

Groups

A group is a monoid with invertibility.