Proofgold Term Root Disambiguation

λ x0 . not (empty_p x0)

as obj
e581a..

as prop
-

theory
HoTg

stx
aca54..

address
TMMjs..