/DoesExtendToHomomorphism/1.1/Wed Feb 18 19:31:18 1998//
/IsEpimorphism/1.1/Wed Feb 18 19:31:18 1998//
D
