A proof of topological completeness for S4 in \((0,1)\)
scientific article; zbMATH DE number 2160248