groups-0.5.3: Groups

groups-0.5.3: Groups

A group is a monoid with invertibility.

Modules