Skip to content

[ add ] Centre of a Group etc.#2863

Closed
jamesmckinna wants to merge 25 commits into
agda:masterfrom
jamesmckinna:centres
Closed

[ add ] Centre of a Group etc.#2863
jamesmckinna wants to merge 25 commits into
agda:masterfrom
jamesmckinna:centres

reconsider: public exports

e6bd8ea
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs