Def Equiv.transLocalEquiv

Modification history