PR #11229: feat(topology/continuous_function/compact): co...

Stream: triage

[Random Issue Bot]

Today I chose PR 11229 for discussion!

feat(topology/continuous_function/compact): construct sup norm to have correct uniformity
Created by @Heather Macbeth (@hrmacbeth) on 2022-01-04
Labels: awaiting-author

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