Implication Details

Assumptions: disjoint finite products

Conclusions: finite products

This implication has been dualized from this implication.