Proofgold Term Root Disambiguation

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

as obj
88759..

as prop
-

theory
HotG

stx
91633..

address
TMb5b..