[ draft ] Alternative design for sub- and quotient- (Abelian)Groups#2859

jamesmckinna wants to merge 15 commits into

agda:masteragda/agda-stdlib:masterfrom

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