Zulip Chat Archive
Stream: triage
Topic: PR !4#10678: feat(Topology/UniformSpace): prove that a un...
Random Issue Bot (Jun 30 2025 at 14:10):
Today I chose PR #10678 for discussion!
feat(Topology/UniformSpace): prove that a uniform space is completely regular
Created by @Shad Amethyst (@adri326) on 2024-02-18
Labels: awaiting-author, merge-conflict, t-topology
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC