Referenced by:

• arcane-equality
• com-arithmetic-hierarchy
• com-padding-lemma
• ucb-metamathematics-b-01
• ucb-metamathematics-b-06
• syntheses
• topology-uniform-metric