/DoesExtendToHomomorphism/1.1/Wed Feb 18 19:37:34 1998//
/IsEpimorphism/1.1/Wed Feb 18 19:37:35 1998//
D
