Proofgold Term Root Disambiguation

ap (1c786.. 2) (lam 2 (λ x0 . x0))

as obj
497c5..

as prop
-

theory
HotG

stx
64012..

address
TMXVM..