Theorem PartialHomeomorph.inv_image_trans_target

Modification history