Def NormedAddGroupHom.Equalizer.liftEquiv

Modification history