(QuARC #:version "0.18.2")
@quarc
@wanderingwires.net
1y
every group project has an identity element, and every element of a group project has an inverse
