Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (68987.. x0) (x0 79f98.. 82bc1..)

as obj
86d33..

as prop
-

theory
HOAS

stx
09504..

address
TMKjV..