Theorem MeasureTheory.pdf.IsUniform.map_eq

Modification history

2026-08-26 08:21

Mathlib/Probability/Distributions/Uniform.lean

refactor: change the default value of `Measure.map` to a Dirac mass (#42322) …

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