Theorem Complex.uniformContinuous_re

Modification history

2026-02-04 21:22

Mathlib/Analysis/Complex/Basic.lean

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

Added Complex.uniformContinuous_re View on Github →