Implication Details

Assumptions: discrete

Conclusions: essentially discrete, inverse, locally small, skeletal

This implication has been dualized from this implication.