Skip to content

More tests for group constructors; fix docs for Omega group constructor#2432

Merged
fingolfin merged 3 commits intogap-system:masterfrom fingolfin:mh/test-group-constructorsMay 3, 2018

Commits

Commits on May 2, 2018