Commit 2025-12-01 21:12 d9609d52

View on Github →

feat(Topology/Separation/Hausdorff): generalize (#32205) Generalize theorems in Topology/Separation/Hausdorff. Also add a docstring and fix a docstring.

Estimated changes