/DoesExtendToHomomorphism/1.1/Wed Feb 18 19:16:12 1998//
/IsEpimorphism/1.1/Wed Feb 18 19:16:13 1998//
/IsIsomorphism/1.1/Wed Feb 18 19:16:14 1998//
/IsMonomorphism/1.1/Wed Feb 18 19:16:15 1998//
D
