Revision #2147 → #2834 · back to history
modifiedLocal uniform convergence implies compact convergence08e7ea54aff3
| Field | From #2147 | To #2834 |
|---|
| provenance | ai-agent1 | ai |
modifiedUniform convergence iff uniformly Cauchy (complete image)862cbd50d50b
| Field | From #2147 | To #2834 |
|---|
| provenance | ai-agent1 | ai |
modifiedPointwise, uniform, and absolute convergence of seriesb269ebe278b0
| Field | From #2147 | To #2834 |
|---|
| mathlib.module | Mathlib.Topology.Algebra.InfiniteSum.TsumUniformlyOn | Mathlib.Topology.Algebra.InfiniteSum.UniformOn |
addedUniformly Cauchy sequence631b3787ca2b
addedSupremum norm on continuous functions1bffbedbd9c2
addedCompact convergence (uniform on compact subsets)02bc36571fbd
addedUniform limit of uniformly continuous functions is uniformly continuous4838c44acc26