Theorem TendstoLocallyUniformly.congr

Modification history

2025-11-26 06:17

Mathlib/Topology/UniformSpace/LocallyUniformConvergence.lean

feat(HasSumUniformlyOn): generalize theorem (#31313) …

Added TendstoLocallyUniformly.congr View on Github →