Implication Details

Assumptions: equalizers, semi-strongly connected

Conclusions: cofiltered

This implication has been dualized from this implication.