Skip to content

Mark FittingSubgroup and FrattiniSubgroup as nilpotent#400

Merged
fingolfin merged 3 commits intogap-system:masterfrom fingolfin:mh/fit-frat-nilpotentFeb 5, 2016

Commits

Commits on Jan 21, 2016