Theorem InnerProductSpace.toDual_apply

Modification history