Revision #1248 → #2577 · back to history
c9a147ab78cc| Field | From #1248 | To #2577 |
|---|---|---|
| mathlib.decl | MeasureTheory.integral_divergence_of_hasFDerivWithinAt_off_countable | MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable |
| provenance | ai | ai-moderated |