Implication Details
Claim: Given a symmetric monoidal category whose underlying category is distributive, if it is cartesian, then it is distributive.
Proof: This is just the definition of a distributive category.
Claim: Given a symmetric monoidal category whose underlying category is distributive, if it is cartesian, then it is distributive.
Proof: This is just the definition of a distributive category.