Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (9603b.. x0) (x0 22293.. af10d..)

as obj
0ec24..

as prop
-

theory
HOAS

stx
d89f8..

address
TMNA7..