Template:Auto-invariance-short

| {{{1}}} $\to$ automorphism || every {{{1}}} of $G$ restricts to an automorphism of $H$ || the auto-invariance property for {{{1}}}s; i.e., it is the invariance property for {{{1}}}, which is a group-closed property of automorphisms