Proofgold Term Root Disambiguation

lam 2 (λ x0 . ap (ap 90e5f.. x0) 497c5..)

as obj
d8d8a..

as prop
-

theory
HotG

stx
64012..

address
TMFxF..