Theorem Homeomorph.isOpen_image

Modification history