Implication Details

Assumptions: cartesian closed, thin

Conclusions: locally cartesian closed

Proof: In a thin category, every object is subterminal. Thus, the result follows from Corollary 6 here.