Theorem DiscreteQuotient.isOpen_preimage

Modification history