Completeness of topological groups
scientific article; zbMATH DE number 3902935
scientific article