Implication Details

Assumptions: coaccessible, pullbacks

Conclusions: well-powered

This implication has been dualized from this implication.