Theorem Group.normalClosure_subset_iff

Modification history