Implication Details

Assumptions: finite products, infinitary extensive

Conclusions: infinitary distributive

Reason: One can adjust the proof of Prop. 4.5 in Introduction to extensive and distributive categories (which deals with the finite case).