## Stream: maths

### Topic: uniform convergence

#### Reid Barton (Jan 13 2020 at 21:57):

Do we have any updated situation regarding the continuity of a uniformly convergent limit/sum of continuous functions?

#### Sebastien Gouezel (Jan 14 2020 at 08:19):

Do we have any updated situation regarding the continuity of a uniformly convergent limit/sum of continuous functions?

There is continuous_of_uniform_limit_of_continuous in topology/bounded_continuous.

#### Reid Barton (Jan 14 2020 at 16:16):

Ah thanks. I was expecting some statement about uniform spaces, but unsurprisingly this version covers my actual usage.

Last updated: May 18 2021 at 06:15 UTC