Theorem LocalEquiv.trans_target''

Modification history