Implication Details

Assumptions: equalizers, groupoid

Conclusions: thin

Reason: The equalizer of any parallel pair f,gf,g must be an isomorphism, so f=gf=g.