Commit 2024-08-11 23:33 ddc3dc13
View on Github →feat(Analysis/Complex/ReImTopology): Uniform continuity of re im (#15411) We show that re and im are uniformly continuous and then use this to show that re/im parts of a uniform limit converge uniformly.