Theorem DiscreteTopology.of_subset

Modification history