Def InnerProductSpace.toDualMap

Modification history