Skip to content

added Pointed algebraic structure, (raw) bundle and homomorphism#1958

Closed
jamesmckinna wants to merge 2 commits into
agda:masterfrom
jamesmckinna:pointed
Closed

added Pointed algebraic structure, (raw) bundle and homomorphism#1958
jamesmckinna wants to merge 2 commits into
agda:masterfrom
jamesmckinna:pointed

identity and composiition for `Pointed`s

a355186
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs