Proofgold Term Root Disambiguation

λ x0 x1 . UPair (Sing x1) (UPair x0 x1)

as obj
7b744..

as prop
-

theory
HotG

stx
78091..

address
TMYVz..