Skip to content

Fix EpimorphismSchurCover with two arguments for p-groups#5501

Merged
ThomasBreuer merged 1 commit intogap-system:masterfrom fingolfin:mh/fix-EpimorphismSchurCoverSep 4, 2023
+25-3

Commits

Commits on Sep 2, 2023