Theorem LocalHomeomorph.image_isOpen_of_isOpen'

Modification history