Theorem DiscreteQuotient.isClopen_preimage

Modification history