Def InnerProductSpace.Core.toNormedAddCommGroup

Modification history