theorem Th28: :: GROUP_22:27

for G being Group
for H being Subgroup of G
for a being Element of G
for f being inner Automorphism of G st a is_inner_wrt f holds
Image (f | H) = H |^ a