Implication Details

Assumptions: equalizers

Conclusions: coreflexive equalizers

Reason: This is trivial.