Uniform spaces with a $U$-extension property (Q3844862)

From MaRDI portal