Commit 2025-12-07 18:39 dd52921e

View on Github →

feat(Topology): UniformContinuous version of uniform limit theorem (#32079) Upgrade the following theorems to UniformContinuous

  • continuousOn_of_uniform_approx_of_continuousOn -> uniformContinuousOn_of_uniform_approx_of_uniformContinuousOn
  • continuous_of_uniform_approx_of_continuous -> uniformContinuous_of_uniform_approx_of_uniformContinuous
  • TendstoUniformlyOn.continuousOn -> TendstoUniformlyOn.uniformContinuousOn
  • TendstoUniformly.continuous -> TendstoUniformly.uniformContinuous

Estimated changes