PR !4#23396: chore: split LocallyFinite results out of Co...

Stream: triage

[Random Issue Bot]

Today I chose PR #23396 for discussion!

chore: split LocallyFinite results out of Compactness.Compact
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2025-03-28
Labels: t-topology

Is this PR still relevant? Any recent updates? Anyone making progress?

[Ruben Van de Velde]

Review welcome

[Kevin Buzzard]

"is this PR made last week still relevant" :-/

[Yaël Dillies]

That's a good sign! It means there are fewer incredibly old PRs than before