Theorem Group.IsNilpotent.isVirtuallyNilpotent

Modification history