Implication Details

Assumptions: cocomplete

Conclusions: connected colimits, finitely cocomplete

This implication has been dualized from this implication.