Implication Details

Claim: If a category is strongly connected and is thin, then it is trivial.

Proof: This is obvious.

Show 17 categories using this implication