Closed locally path-connected subspaces of finite-dimensional groups are locally compact

From MaRDI portal
Publication:3575365