Implication Details

Claim: Given a functor whose domain is a groupoid, then it is conservative.

Proof: This is trivial.

Show 1 functor using this implication