PR #14315: feat(topology/metric_space/dilation): Dilation...

Stream: triage

[Random Issue Bot]

Today I chose PR 14315 for discussion!

feat(topology/metric_space/dilation): Dilations on metric spaces
Created by @Hanting Zhang (@winston-h-zhang) on 2022-05-22
Labels: awaiting-author, t-topology, t-analysis

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