Implication Details
Claim: If a symmetric monoidal category is cocomplete, then it is finitely cocomplete and is infinitary distributive.
Proof: This is trivial.
Claim: If a symmetric monoidal category is cocomplete, then it is finitely cocomplete and is infinitary distributive.
Proof: This is trivial.