Proofgold Term Root Disambiguation

λ x0 . UPair x0 x0

as obj
b7dfc..^Sing

as prop
-

theory
HotG

stx
18c18..

address
TMRoF..^Sing