Proofgold Term Root Disambiguation

λ x0 . lam2 x0 (λ x1 . x0)

as obj
28572..^encode_b

as prop
-

theory
HotG

stx
08e38..

address
TMEnk..^encode_b