Referenced by:

• cats-monic-epic
• groups-grp
• ucb-settheory-09
• topology-continuity