Theorem AbsolutelyContinuousOnInterval.uniformlyContinuousOn

Modification history

2026-02-04 21:22

Mathlib/MeasureTheory/Function/AbsolutelyContinuous.lean

fix: rename `uniformlyContinuous` -> `uniformContinuous` in lemma names (#34775)

Deleted AbsolutelyContinuousOnInterval.uniformlyContinuousOn View on Github →

2025-10-02 10:12

Mathlib/MeasureTheory/Function/AbsolutelyContinuous.lean

feat(MeasureTheory): add absolutely continuous functions (#29504) …

Added AbsolutelyContinuousOnInterval.uniformlyContinuousOn View on Github →