Change definition of IsPGroup to *not* require finiteness#1545
Merged
fingolfin merged 1 commit intogap-system:masterfrom May 15, 2018
Merged
Change definition of IsPGroup to *not* require finiteness#1545fingolfin merged 1 commit intogap-system:masterfrom
fingolfin merged 1 commit intogap-system:masterfrom
