Proofgold Term Root Disambiguation

λ x0 x1 . lam x0 (λ x2 . x1)

as obj
107b6..^setprod

as prop
-

theory
HotG

stx
08e38..

address
TMX5i..^setprod