Commit 2024-04-29 09:02 919a721f
View on Github →feat(UniformSpace) : TotallyBounded + countably generated -> Separable (#12404) Just a small result, that TotallyBounded sets are Separable sets in Uniform spaces with countably generated uniformities.