Implication Details

Assumptions: inhabited, thin, zero morphisms

Conclusions: trivial

Proof: This is easy.

Show 7 categories using this implication