Template:Normal-to-characteristic

From Groupprops

Thus, this subgroup property is normal-to-characteristic