Skip to content

Improve BaseDomain for plist-of-list matrices#4805

Merged
fingolfin merged 1 commit into
gap-system:masterfrom
fingolfin:mh/BaseDomain
Oct 20, 2022
Merged

Improve BaseDomain for plist-of-list matrices#4805
fingolfin merged 1 commit into
gap-system:masterfrom
fingolfin:mh/BaseDomain

Commits

Commits on Oct 20, 2022