Skip to content

[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863#2885

Merged
JacquesCarette merged 24 commits into
agda:masterfrom
jamesmckinna:centres-bis
Apr 22, 2026
Merged

[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863#2885
JacquesCarette merged 24 commits into
agda:masterfrom
jamesmckinna:centres-bis

Merge branch 'master' into centres-bis

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

Annotations

1 warning

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