theorem Th26: :: GROUP_22:25

for G being strict Group
for f being object holds
( f in Aut G iff f is Automorphism of G )