/DoesExtendToHomomorphism/1.1/Wed Feb 18 19:37:28 1998//
/IsAutoIAAutomorphism/1.1/Wed Feb 18 19:37:29 1998//
/IsAutomorphism/1.1/Wed Feb 18 19:37:29 1998//
/IsEpimorphism/1.1/Wed Feb 18 19:37:30 1998//
D
