Proofgold Term Root Disambiguation

λ x0 . lam x0 (λ x1 . x1)

as obj
86ccd..^lam_id

as prop
-

theory
HotG

stx
6b5ba..

address
TMTjn..^lam_id