Implication Details

Assumptions: finite products, multi-cocomplete

Conclusions: cocomplete

This implication has been dualized from this implication.