Implication Details

Assumptions: groupoid, initial object

Conclusions: trivial

Reason: This is easy.