Commit 2026-02-04 21:22 13214706

View on Github →

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

Estimated changes

Modified Mathlib/Analysis/Complex/Basic.lean

added theorem Complex.uniformContinuous_im

added theorem Complex.uniformContinuous_re

deleted theorem Complex.uniformlyContinuous_im

deleted theorem Complex.uniformlyContinuous_re

Modified Mathlib/Analysis/Complex/ReImTopology.lean

Modified Mathlib/MeasureTheory/Function/AbsolutelyContinuous.lean

added theorem AbsolutelyContinuousOnInterval.uniformContinuousOn

deleted theorem AbsolutelyContinuousOnInterval.uniformlyContinuousOn