Metadata aliases: [] shorthands: {} created: 2021-12-03 13:43:53 modified: 2022-01-10 04:13:04 A vector space equipped with an inner product.
aliases: [] shorthands: {} created: 2021-12-03 13:43:53 modified: 2022-01-10 04:13:04