Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (8c884.. x0) (x0 a6d01.. d1d50..)

as obj
af7b1..

as prop
-

theory
HOAS

stx
ca535..

address
TMSZx..