Implication Details

Assumptions: essentially small, powers

Conclusions: thin

Reason: See Mac Lane, V.2, Prop. 3. The proof works for any category with powers.