Def InnerProductSpace.toCore

Modification history