Theorem ContinuousMap.tendsto_iff_forall_compact_tendstoUniformlyOn
Modification history
2024-11-19 15:27
Mathlib/Topology/UniformSpace/CompactConvergence.lean
chore: further renames (#19243) …
Deleted ContinuousMap.tendsto_iff_forall_compact_tendstoUniformlyOnView on Github →