PR !4#12629: feat(Topology/ContinuousFunction/Bounded): a...

Stream: triage

[Random Issue Bot]

Today I chose PR 12629 for discussion!

feat(Topology/ContinuousFunction/Bounded): add the ideal of compactly supported functions
Created by @Yoh Tanimoto (@yoh-tanimoto) on 2024-05-03
Labels: awaiting-review, t-topology, new-contributor

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