Revision #2272 → #2632 · back to history
17faf5d07b43| Field | From #2272 | To #2632 |
|---|---|---|
| mathlib.decl | MeasureTheory.uniformOn | ProbabilityTheory.uniformOn |
| provenance | ai | ai-moderated |
32a7df076c86| Field | From #2272 | To #2632 |
|---|---|---|
| mathlib.decl | MeasureTheory.uniformOn_univ | ProbabilityTheory.uniformOn_univ |
| provenance | ai | ai-moderated |