Commit 2022-02-23 09:39 3e77124c
View on Github →refactor(topology/{separation,subset_properties}): use set.subsingleton
(#12232)
Use set.subsingleton s
instead of _root_.subsingleton s
in is_preirreducible_iff_subsingleton
and is_preirreducible_of_subsingleton
, rename the latter to set.subsingleton.is_preirreducible
.