Def Equiv.toPartialEquiv

Modification history