Skip to content

Turn IsInfiniteAbelianizationGroup into a property#2287

Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/IsInfiniteAbelianizationGroupMar 27, 2018
+67-7

Commits

Commits on Mar 23, 2018