Implication Details

Assumptions: locally finitely presentable

Conclusions: cocomplete, finitely accessible

This is an equivalence.

Reason: This follows from one of equivalent formulations of locally finitely presentable categories.