Theorem Subgroup.normal_iInf_normal

Modification history