Implication Details

Assumptions: core-thin, groupoid

Conclusions: thin

Reason: This is trivial.