Theorem InnerProductSpace.toDualMap_apply

Modification history