Theorem InnerProductSpace.Core.toSeminormedSpaceCore

Modification history