Proofgold Term Root Disambiguation

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

as obj
-

as prop
fbf8c..

theory
HOAS

stx
cbccf..

address
TMaeY..