Proofgold Term Root Disambiguation

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

as obj
f47cd..^lam_comp

as prop
-

theory
HotG

stx
6b5ba..

address
TMZBH..^lam_comp