Theorem Subgroup.normalCore_eq_self

Modification history