Implication Details

Assumptions: countable powers, essentially countable

Conclusions: thin

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