CatDat

Implication Details

Assumptions: strongly connectedthin

Conclusions: trivial

Proof: This is obvious.

Show 16 categories using this implication