theorem :: MONOID_0:79

for X being set
for f being Element of (GPerms X) holds f " = f "