Commit 2024-02-16 14:44 2d36cb15
View on Github →feat : refactor IsUniform
through uniformMeasure (#10456)
Refactor the definitions and proofs of IsUniform through the new uniformMeasure
, which abstracts away from the need of a random variable and probability space.
A future PR can refactor the PMF parts in terms of a uniformMeasure
.
This was #10141, which was split into a small PR to move the results (merged) and this one.