Referenced by:

• 32980273196907449162r
• 37190117995581568158r
• 59161551757886316999r
• 64501667788023824340r
• 82589597827656748033r
• 94779059060371810160r
• closures-and-completions
• epsilon-ball
• topology-bounded
• topology-converges-uniformly
• topology-lebesgue-number-lemma
• topology-uniform-metric
• topology-uniformly-continuous