Implication Details

Assumptions: groupoid, inhabited, zero morphisms

Conclusions: trivial

Reason: This is easy.