Template:Auto-invariance-short


 * left side of function restriction expression:: $$\to$$ right side of function restriction expression::automorphism || every of $$G$$ restricts to an automorphism of $$H$$ || the satisfies metaproperty::auto-invariance property for s; i.e., it is the invariance property for, which is a group-closed property of automorphisms