Implication Details

Assumptions: cogenerator

Conclusions: cogenerating set, inhabited

This implication has been dualized from this implication.