Implication Details
Assumptions: thin
Conclusions: coequalizers, cogenerating set, locally finite, one-way, right cancellative
This implication has been dualized from this implication.
Assumptions: thin
Conclusions: coequalizers, cogenerating set, locally finite, one-way, right cancellative
This implication has been dualized from this implication.