Implication Details

Assumptions: coextensive, complete, locally cocartesian coclosed

Conclusions: infinitary coextensive

This implication has been dualized from this implication.