Implication Details

Assumptions: countably distributive

Conclusions: countable coproducts, finite products

Reason: This holds by definition.