Theorem tendstoLocallyUniformly_iff_forall_isCompact

Modification history

2025-07-04 07:44
Mathlib/Topology/UniformSpace/LocallyUniformConvergence.lean
chore: further whitespace fixes (#26708) …
Modified tendstoLocallyUniformly_iff_forall_isCompactView on Github →
2025-04-28 07:37
Mathlib/Topology/UniformSpace/LocallyUniformConvergence.lean
refactor(Topology/UniformSpace): clarify def of TendstoLocallyUniformly (#24342) …
Modified tendstoLocallyUniformly_iff_forall_isCompactView on Github →
2024-05-15 11:20
Mathlib/Topology/UniformSpace/UniformConvergence.lean
Eisenstein series uniform convergence (#10377) …
Added tendstoLocallyUniformly_iff_forall_isCompactView on Github →