Implication Details

Assumptions: locally finite

Conclusions: locally essentially small

Proof: This is trivial.

Show 3 categories using this implication