Quotient-pullbackable automorphism

From Groupprops

You might be looking for: