Theorem PartialHomeomorph.extend_image_nhd_mem_nhds_of_boundaryless

Modification history