Theorem LocalEquiv.trans_target'

Modification history