Procharacteristic of normal implies pronormal

This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., Procharacteristic subgroup (?) and Normal subgroup (?)), to another known subgroup property (i.e., Pronormal subgroup (?))
View a complete list of composition computations