Theorem Group.normalClosure.isSubgroup

Modification history