Theorem PartialHomeomorph.extend_target_mem_nhdsWithin

Modification history