Proofgold Term Root Disambiguation

prim1 (λ x0 . 236c6..)

as obj
6915e..

as prop
-

theory
HOAS

stx
64e99..

address
TMZqr..