Implication Details

Assumptions: groupoid

Conclusions: subobject-trivial

Reason: This is trivial.