Commit 2022-09-19 07:18 e3fac0b5
View on Github →refactor(topology/uniform_space/separated): drop is_separated
(#16458)
This predicate is no longer used outside of this file. If we'll need it in the future, then we can redefine it for any topological space in terms of inseparable
.
Also rename topology.uniform_space.compact_separated
to topology.uniform_space.compact
.