Proofgold Term Root Disambiguation

λ x0 x1 . 1216a.. x0 (λ x2 . prim1 x2 x1)

as obj
d3786..

as prop
-

theory
HoTg

stx
c93a1..

address
TMPGW..