Theorem PartialHomeomorph.isOpen_image_of_subset_source

Modification history