PR !4#7478: feat(Topology/MetricSpace/Congruence): define...

Stream: triage

[Random Issue Bot]

Today I chose PR 7478 for discussion!

feat(Topology/MetricSpace/Congruence): define congruence
Created by @Newell Jensen (@newell) on 2023-10-03
Labels:

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

[Jireh Loreaux]

I left a comment on the PR because Newell isn't subscribed to this stream. The definition seems very weird to me.