Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x0 (UPair x1 x2) ⟶ or (x0 = x1) (x0 = x2)

as obj
-

as prop
469e5..^UPairE

theory
HF

stx
dda19..

address
TMbUh..^UPairE