Def InnerProductSpace.Core.toPreInner'

Modification history