Theorem PartialHomeomorph.source_preimage_target

Modification history