WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Median
Revision #2398 → #3241 ·
back to history
modified
Median of uniform distribution
869b37e665ae
Field
From #2398
To #3241
mathlib.decl
ProbabilityTheory.IsUniform
MeasureTheory.pdf.IsUniform
provenance
ai
ai-moderated