Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (46c0e.. x0) (x0 81a9b.. 9f288..)

as obj
0af41..

as prop
-

theory
HOAS

stx
f0c21..

address
TMV97..