Referenced by:

• 22932965526458701742r
• 59161551757886316999r
• 64501667788023824340r
• 82589597827656748033r
• 92005738005477300873r
• arcane-equality
• com-padding-lemma
• ucb-metamathematics-b-01
• syntheses
• topology-Rn-compact-iff-closed-n-bounded
• topology-uniform-metric