PR #10439: Define compact convergence topology on contino...

Stream: triage

[Random Issue Bot]

Today I chose PR 10439 for discussion!

Define compact convergence topology on continous functions
Created by @Chris Birkbeck (@CBirkbeck) on 2021-11-23
Labels:

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

[Kevin Buzzard]

yeah, it's been over a week since this was opened, high time for an update.