Theorem tendstoLocallyUniformlyOn_iUnion
Modification history
2025-04-28 07:37
Mathlib/Topology/UniformSpace/LocallyUniformConvergence.lean
refactor(Topology/UniformSpace): clarify def of TendstoLocallyUniformly (#24342) …
Modified tendstoLocallyUniformlyOn_iUnionView on Github →