Implication Details

Assumptions: semi-strongly connected, thin

Conclusions: locally cocartesian coclosed

This implication has been dualized from this implication.