On extension of (pseudo) metrics from a subgroup of a topological group onto the group

From MaRDI portal
Publication:1308092