Implication Details

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

Proof: This is trivial.

Show 2 functors using this implication