Zulip Chat Archive
Stream: triage
Topic: PR !4#20527: refactor(Topology/UniformSpace/Completion): ...
Random Issue Bot (Nov 15 2025 at 14:11):
Today I chose PR #20527 for discussion!
refactor(Topology/UniformSpace/Completion): more descriptive names for α → Completion α
Created by @Mitchell Lee (@trivial1711) on 2025-01-06
Labels: merge-conflict, t-topology
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC