Referenced by:

• group-morphism-kernel