CatDat

Implication Details

Assumptions: discrete

Conclusions: essentially discretelocally smallskeletal

Reason: This is trivial.