Add IsQuasisimpleGroup
, IsQuasisimpleCharacterTable
#4653
Merged
fingolfin merged 4 commits intogap-system:masterfrom ThomasBreuer:TB_IsQuasiSimpleSep 18, 2021
+119-28
IsQuasisimpleGroup
, IsQuasisimpleCharacterTable
#4653