PR !4#19563: feat(Probability): two kernels are a.e. equa...

Stream: triage

[Random Issue Bot]

Today I chose PR 19563 for discussion!

feat(Probability): two kernels are a.e. equal iff their composition-products are equal
Created by @Rémy Degenne (@RemyDegenne) on 2024-11-28
Labels: WIP, t-measure-probability

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