Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (934b2.. x0) (x0 62f06.. 48ac8..)

as obj
edc3c..

as prop
-

theory
HOAS

stx
ca03b..

address
TMWYW..