Theorem PartialHomeomorph.extend_target

Modification history