Proofgold Term Root Disambiguation

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

as obj
e0ea2..

as prop
-

theory
HotG

stx
78091..

address
TMXbY..