Theorem Subgroup.comap_normalClosure

Modification history