Def InnerProductSpace.Core.toInner'

Modification history