Theorem LocalEquiv.trans_target

Modification history