Implication Details

Assumptions: thin

Conclusions: cogenerating set, locally essentially small, one-way

This implication has been dualized from this implication.