Referenced by:

• cats-homomorphism
• delta-types
• groups-cayleys-thm
• logic-prime-atomic