Theorem PartialHomeomorph.trans_target

Modification history