Implication Details

Assumptions: groupoid

Conclusions: subobject-trivial

Proof: This is trivial.

Show 8 categories using this implication