Implication Details

Assumptions: essentially finite, finite powers

Conclusions: thin

Reason: Adjust the proof of Mac Lane, V.2, Prop. 3.