Implication Details

Assumptions: coequalizers, semi-strongly connected

Conclusions: filtered

Proof: This is obvious.

Show 8 categories using this implication