Theorem Homeomorph.isOpen_preimage

Modification history