Implication Details

Claim: If a symmetric monoidal category is infinitary distributive, then it is distributive.

Proof: This is trivial.

This implication has a dual.