Def Equiv.equivOfUnique

Modification history