\(\tau\)-completeness of topological groups
scientific article; zbMATH DE number 657267