Commit 2025-11-26 06:47 5334b1e9
View on Github →chore(Topology/UniformSpace/Closeds): rename UniformSpace.hausdorff.isClosed_powerset to IsClosed.powerset_hausdorff (#32022)
The new name is analogous to the one for TotallyBounded and allows using dot notation.