CatDat

Implication Details

Assumptions: thin

Conclusions: coequalizerscogenerating setlocally finiteone-wayright cancellative

This implication has been dualized from this implication.

Show 10 categories using this implication