summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Properties/AlmostGroup.agda
AgeCommit message (Collapse)Author
2022-04-02Add properties of almost groups.Greg Brown