Theorem Complex.uniformlyContinous_im

Modification history

2024-11-05 19:27
Mathlib/Analysis/Complex/Basic.lean
chore: fix typo `Continous`-> `Continuous` (#18666)
Deleted Complex.uniformlyContinous_imView on Github →
2024-08-11 23:33
Mathlib/Analysis/Complex/Basic.lean
feat(Analysis/Complex/ReImTopology): Uniform continuity of re im (#15411) …
Added Complex.uniformlyContinous_imView on Github →