Skip to content

Don't define Dimension for groups - #43

Draft
fingolfin wants to merge 3 commits into
gap-packages:masterfrom
fingolfin:mh/Dimension
Draft

Don't define Dimension for groups#43
fingolfin wants to merge 3 commits into
gap-packages:masterfrom
fingolfin:mh/Dimension

Commits

Commits on Oct 18, 2023