CatDat

Implication Details

Assumptions: inhabitedthin

Conclusions: generator

Proof: Any object will be a generator for trivial reasons.

Show 15 categories using this implication