Implication Details

Assumptions: coequalizers, semi-strongly connected

Conclusions: filtered

Proof: This is obvious.

Show 5 categories using this implication