Skip to content

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

Open
jamesmckinna wants to merge 8 commits intoagda:masterfrom
jamesmckinna:centres-bis
Open

[ add ] `Algebra.Construct.Centre.X` of an algebra `X`, following #2863#2885
jamesmckinna wants to merge 8 commits intoagda:masterfrom
jamesmckinna:centres-bis

Commits

Commits on Nov 19, 2025

Commits on Nov 21, 2025