Theorem DiscreteQuotient.isClopen_setOf_rel

Modification history