CatDat

Implication Details

Assumptions: thin

Conclusions: coequalizerscogenerating setlocally finiteone-wayright cancellative

This implication has been dualized from this implication.

Show 9 categories using this implication