Proofgold Term Root Disambiguation

∀ x0 x1 x2 . 2fe34.. x0 = 3e00e.. x1 x2 ⟶ ∀ x3 : ο . x3

as obj
-

as prop
a0ec1..

theory
HOAS

stx
cbccf..

address
TMSqK..