Implication Details

Assumptions: cocartesian coclosed, powers

Conclusions: copowers

This implication has been dualized from this implication.