Theorem Subgroup.normalCore_eq_ker

Modification history