Def PartialEquiv.transEquiv

Modification history