Def AddMonoidHom.ofMapMidpoint

Modification history