[ draft ] Alternative design for sub- and quotient- `(Abelian)Group`s#2859

jamesmckinna wants to merge 7 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:my-quotient-groupsjamesmckinna/agda-stdlib:my-quotient-groupsCopy head branch name to clipboard