Implication Details

Assumptions: locally finitely presentable

Conclusions: locally presentable

Reason: Locally finitely presentable categories are by definition the locally ℵ0\aleph_0-presentable categories.