Implication Details

Assumptions: essentially small

Conclusions: cogenerating set

This implication has been dualized from this implication.