Implication Details

Assumptions: preserves finite coproducts

Requirements of the source: biproducts

Requirements of the target: biproducts

Conclusions: preserves finite products

This implication has been dualized from this implication.