Implication Details
Assumptions: coextensive, finite coproducts
Conclusions: codistributive
This implication has been dualized from this implication.
Assumptions: coextensive, finite coproducts
Conclusions: codistributive
This implication has been dualized from this implication.