Theorem LocalHomeomorph.image_open_of_open'

Modification history