Implication Details

Assumptions: core-thin, groupoid

Conclusions: thin

Proof: This is trivial.

Show 3 categories using this implication