Implication Details

Assumptions: thin

Conclusions: coequalizers, right cancellative

This implication has been dualized from this implication.