Proofgold Term Root Disambiguation

Subq 2 (UPair 0 1)

as obj
-

as prop
8fa42..^{Subq_2_UPair01}

theory
HF

stx
0d78c..

address
TMUYF..^{Subq_2_UPair01}