locally convex space that is complete with respect to a translation-invariant metric
Nothing in the MetaHistoryBook collection references this item yet.