Implication Details

Assumptions: trivial

Conclusions: essentially discrete, essentially finite, finitary algebraic, Grothendieck topos, self-dual, split abelian

Reason: This is trivial.