Theorem Group.normalClosure.is_normal

Modification history