Def Equiv.constVAddHom

Modification history