Implication Details

Assumptions: infinitary extensive

Conclusions: coproducts

Reason: This holds by definition.