Def InnerProductSpace.Core.toNormedSpace

Modification history