Skip to content

add shortname to IsomorphismTypeInfoFiniteSimpleGroup value#2136

Merged
fingolfin merged 1 commit intogap-system:masterfrom ThomasBreuer:TB_IsomorphismTypeInfoFiniteSimpleGroupFeb 4, 2018

Commits

Commits on Jan 26, 2018