Proofgold Term Root Disambiguation

∀ x0 x1 . finite (UPair x0 x1)

as obj
-

as prop
92c81..

theory
HotG

stx
8cab1..

address
TMcxo..