Skip to content

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

Draft
jamesmckinna wants to merge 15 commits into
agda:masterfrom
jamesmckinna:my-quotient-groups
Draft

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups#2859
jamesmckinna wants to merge 15 commits into
agda:masterfrom
jamesmckinna:my-quotient-groups

update: `CHANGELOG`

08560e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.