Commit 2022-04-03 16:42 36e1cdf8
View on Github →feat(topology/uniform_space/basic): constructing a uniform_space.core from a filter basis for the uniformity (#13065)
feat(topology/uniform_space/basic): constructing a uniform_space.core from a filter basis for the uniformity (#13065)