Implication Details
Assumptions: discrete
Conclusions: essentially discrete, inverse, locally small, skeletal
This implication has been dualized from this implication.
Assumptions: discrete
Conclusions: essentially discrete, inverse, locally small, skeletal
This implication has been dualized from this implication.