Theorem PartialHomeomorph.image_isOpen_of_isOpen'

Modification history