Def AddConstEquiv.toAddConstMapHom

Modification history