Proofgold Term Root Disambiguation

∀ x0 x1 . UPair x0 x1 = UPair x1 x0

as obj
-

as prop
a4584..^UPair_com

theory
HF

stx
dda19..

address
TMUAc..^UPair_com