Implication Details

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

Proof: This is trivial.

Show 2 symmetric monoidal categories using this implication