Implication Details

Assumptions: Grothendieck abelian

Conclusions: locally presentable

Reason: See Deriving Auslander's formula, Cor. 5.2, or Sheafifiable homotopy model categories, Prop. 3.10.