Implication Details

Assumptions: extensive

Conclusions: finite coproducts

Reason: This holds by definition.