Def LocalEquiv.transEquiv

Modification history