Proofgold Term Root Disambiguation

∀ x0 x1 . 74e69.. x0 ⟶ 74e69.. x1 ⟶ 74e69.. (a3eb9.. x0 x1)

as obj
-

as prop
c4252..

theory
HOAS

stx
cbccf..

address
TMYex..