Referenced by:

• cats-homomorphism
• group-action-orbit
• group-coset
• group-morphism-kernel
• group-stabilizer
• groups-grp