Theorem InnerProductSpace.Core.toNormedSpaceCore

Modification history