Def PreInnerProductSpace.toCore

Modification history