Theorem LocalEquiv.inv_image_trans_target

Modification history