theorem :: AUTGROUP:26

for G being Group
for a being Element of G holds Conjugate (a ") = (Conjugate a) "