Implication Details

Assumptions: coproduct-preserving

Conclusions: finite-coproduct-preserving

This implication has been dualized from this implication.