Theorem MeasureTheory.pdf.IsUniform.cond

Modification history

2024-02-16 14:44

Mathlib/Probability/Distributions/Uniform.lean

feat : refactor `IsUniform` through uniformMeasure (#10456) …

Added MeasureTheory.pdf.IsUniform.cond View on Github →