Theorem PartialEquiv.inv_image_trans_target

Modification history