Implication Details

Assumptions: locally finite

Conclusions: locally essentially small

Reason: This is trivial.

Show 3 categories using this implication