Skip to content

Fix finiteness condition in IsomorphismGroups#3331

Merged
fingolfin merged 1 commit intogap-system:masterfrom zickgraf:fix_finiteness_conditionMar 8, 2019
+13-1

Commits

Commits on Mar 8, 2019