Implication Details

Assumptions: essentially small

Conclusions: generating set, locally essentially small, well-copowered, well-powered

Reason: This is trivial.