Theorem Complex.uniformlyContinuous_re

Modification history

2026-02-04 21:22

Mathlib/Analysis/Complex/Basic.lean

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

Deleted Complex.uniformlyContinuous_re View on Github →

2024-11-05 19:27

Mathlib/Analysis/Complex/Basic.lean

chore: fix typo `Continous`-> `Continuous` (#18666)

Added Complex.uniformlyContinuous_re View on Github →