Metadata shorthands: {} aliases: [Normed vector space] created: 2021-12-03 00:40:07 modified: 2022-01-10 04:13:04 A vector space equipped with a norm.
shorthands: {} aliases: [Normed vector space] created: 2021-12-03 00:40:07 modified: 2022-01-10 04:13:04