Move the library of perfect groups into the PerfGrp package - #6488
Open
fingolfin wants to merge 1 commit into
Open
Move the library of perfect groups into the PerfGrp package#6488fingolfin wants to merge 1 commit into
PerfGrp package#6488fingolfin wants to merge 1 commit into